Ticket #45 (new task)

Opened 3 years ago

Last modified 14 months ago

translate sort generation constraints to OMDoc

Reported by: till Owned by: ewaryst
Priority: critical Milestone: 1.0
Component: interfaces Version: 1.0
Keywords: Cc:

Description (last modified by till) (diff)

translate sort generation constraints to OMDoc by using their second-order equivalent. Use CASL.Induction.inductionScheme to generate the second-order formula.

Related to ticket #156.

Change History

Changed 3 years ago by till

  • description modified (diff)

Changed 21 months ago by till

  • owner changed from hiben to andreas

Changed 18 months ago by till

  • priority changed from major to critical

Changed 14 months ago by till

  • owner changed from andreas to ewaryst
Note: See TracTickets for help on using tickets.