Cross Reference: Def.hascasl.output
xref: /hets/HasCASL/test/Def.hascasl.output
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
Def.hascasl.output revision 6cb518d88084543c13aa7e56db767c14ee97ab77
2b873214c9ab511bbca437c036371ab664aedaceChristian Maedertype s
f66fcd981f556c238df7dd6dfa42123745e3b1d2Christian Maedervar x : s
c63ebf815c8a874525cf18670ad74847f7fc7b26Christian Maeder. def \ f : s -> s . def f x;
c092fcac4b8f5c524c22ca579189c4487c13edf7Christian Maedertype
54ed6a6b1a6c7d27fadb39ec5b59d0806c81f7c8Christian Maeders : Type
75a6279dbae159d018ef812185416cf6df386c10Till Mossakowskivar
3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maederx : s
75a6279dbae159d018ef812185416cf6df386c10Till Mossakowski. def \ f : s -> s . def f x
75a6279dbae159d018ef812185416cf6df386c10Till Mossakowski### Hint 2.7, not a class 's'
f66fcd981f556c238df7dd6dfa42123745e3b1d2Christian Maeder

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