Cross Reference: CTree.hascasl
xref: /hets/HasCASL/test/CTree.hascasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
CTree.hascasl revision 304c84f22dd78f7979efd81b8fc38c8d2197ed39
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian Maedertype Nat
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian Maedervar a: Type
81d182b21020b815887e9057959228546cf61b6bChristian Maedergenerated type CTree a ::= leaf a | branch (Nat ->? CTree a)
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian Maeder

Indexes created Tue Jul 24 14:28:13 CEST 2018