Tue, 25 Feb 1997 15:11:12 +0100 | pusch | definitions of +,-,* replaced by primrec definitions | changeset | files |
Tue, 25 Feb 1997 15:05:14 +0100 | pusch | function nat_add_primrec added to allow primrec definitions over nat | changeset | files |
Mon, 24 Feb 1997 16:12:24 +0100 | oheimb | removed explicit_domains/, which is now covered by ex/ | changeset | files |
Mon, 24 Feb 1997 09:46:12 +0100 | wenzelm | added "_" syntax for dummyT; | changeset | files |
Fri, 21 Feb 1997 16:43:04 +0100 | wenzelm | declared the dummy type; | changeset | files |
Fri, 21 Feb 1997 16:35:49 +0100 | wenzelm | replaced natural by subset; | changeset | files |
Fri, 21 Feb 1997 16:35:30 +0100 | wenzelm | tuned symbolic [|_|] syntax; | changeset | files |