Ticket #223 (closed task: fixed)

Opened 3 years ago

Last modified 2 weeks ago

implement subsignature test for Isabelle

Reported by: maeder Owned by: maeder
Priority: major Milestone: 0.95
Component: logic Version: 0.66
Keywords: Cc:

Description (last modified by luecke) (diff)

the is_subsig method in Isabelle.Logic_Isabelle has only a dummy implementation.

First finish #487

Change History

Changed 3 years ago by till

  • milestone changed from 1.0 to 0.75

Changed 16 months ago by luecke

  • description modified (diff)
  • summary changed from is a subsignature test for Isabelle needed? to implement subsignature test for Isabelle

Changed 16 months ago by luecke

  • owner changed from till to maeder

Changed 2 weeks ago by maeder

  • status changed from new to closed
  • resolution set to fixed

implemented by [9774]

Note: See TracTickets for help on using tickets.