Ticket #345 (new task)

Opened 3 years ago

Last modified 16 months ago

restrict sublogic in comorphism from HasCASL to Isabelle

Reported by: till Owned by: maeder
Priority: critical Milestone: 0.95
Component: comorphisms Version: 0.7
Keywords: Cc:

Description (last modified by maeder) (diff)

the source sublogic should be restricted to extensional HasCASL with unique choice (this is based on ticket #171 and suitable HasCASL theories for extensionality and unique choice)

Change History

Changed 3 years ago by maeder

  • description modified (diff)
  • summary changed from Comorphisms from HasCASL to Isabelle to restrict sublogic in comorphism from HasCASL to Isabelle

Changed 2 years ago by maeder

  • milestone changed from 0.75 to 0.8

Changed 16 months ago by luecke

  • priority changed from major to critical
  • milestone changed from 0.9 to 0.93
Note: See TracTickets for help on using tickets.