paulson [Fri, 18 Oct 1996 11:31:33 +0200] rev 2100
Now checks that $LISTEN is set
nipkow [Wed, 16 Oct 1996 10:37:17 +0200] rev 2099
Defined pred using nat_case rather than nat_rec.
Added expand_nat_case
oheimb [Tue, 15 Oct 1996 16:40:04 +0200] rev 2098
corrected `correction` of o_assoc (of version 1.14),
(this change has actually been done in the previous commit 1.25)
oheimb [Tue, 15 Oct 1996 16:32:59 +0200] rev 2097
bound o_apply theorem to thy
paulson [Tue, 15 Oct 1996 10:58:59 +0200] rev 2096
Removed extraneous spaces from all Makefiles
paulson [Tue, 15 Oct 1996 10:55:57 +0200] rev 2095
changed prettyprinting of ==>
paulson [Tue, 15 Oct 1996 10:46:42 +0200] rev 2094
Removed extraneous spaces from all Makefiles