HasCASL/test/Def.hascasl.output

	Def.hascasl.output revision 3aa7e4492a7e28b37d1a0b23f5bfe2109f87d4d6
45cd3810666369a5a73b05ca43333de38f5ed342Christian Maedertype  s < t
45cd3810666369a5a73b05ca43333de38f5ed342Christian Maedervars  x : s; y : t
45cd3810666369a5a73b05ca43333de38f5ed342Christian Maeder. def \ f : s -> s . def f x
45cd3810666369a5a73b05ca43333de38f5ed342Christian Maeder. def (y as s);
45cd3810666369a5a73b05ca43333de38f5ed342Christian Maedertypes
45cd3810666369a5a73b05ca43333de38f5ed342Christian Maeders : Type;
45cd3810666369a5a73b05ca43333de38f5ed342Christian Maedert : Type
45cd3810666369a5a73b05ca43333de38f5ed342Christian Maedertype
45cd3810666369a5a73b05ca43333de38f5ed342Christian Maeders < t
45cd3810666369a5a73b05ca43333de38f5ed342Christian Maedervars
ec5ec8dd5bce3df1c42ff4f594dd7b69b9906e5bChristian Maederx : s;
45cd3810666369a5a73b05ca43333de38f5ed342Christian Maedery : t
45cd3810666369a5a73b05ca43333de38f5ed342Christian Maederforall x : s . def \ f : s -> s . def f x
45cd3810666369a5a73b05ca43333de38f5ed342Christian Maederforall y : t . def (y as s)
3cb9e8caabecd4d058b622c889e3b020c1ac099cChristian Maeder2.7: ### Hint: not a class 's'
45cd3810666369a5a73b05ca43333de38f5ed342Christian Maeder2.14: ### Hint: not a class 't'
45cd3810666369a5a73b05ca43333de38f5ed342Christian Maeder