Sat, 27 Apr 1996 18:47:31 +0200 A completely new version of IMP.
nipkow [Sat, 27 Apr 1996 18:47:31 +0200] rev 1696
A completely new version of IMP.
Sat, 27 Apr 1996 12:09:21 +0200 Generalized types of some of the operators (thanks to Norbert Voelker)
nipkow [Sat, 27 Apr 1996 12:09:21 +0200] rev 1695
Generalized types of some of the operators (thanks to Norbert Voelker)
Sat, 27 Apr 1996 12:07:31 +0200 Added R_O_id and id_O_R
nipkow [Sat, 27 Apr 1996 12:07:31 +0200] rev 1694
Added R_O_id and id_O_R
Sat, 27 Apr 1996 12:05:58 +0200 Added R^1 = R
nipkow [Sat, 27 Apr 1996 12:05:58 +0200] rev 1693
Added R^1 = R
Fri, 26 Apr 1996 13:33:51 +0200 Renaming of a lemma
paulson [Fri, 26 Apr 1996 13:33:51 +0200] rev 1692
Renaming of a lemma
Fri, 26 Apr 1996 13:30:26 +0200 Fixed indenting
paulson [Fri, 26 Apr 1996 13:30:26 +0200] rev 1691
Fixed indenting
Fri, 26 Apr 1996 12:33:30 +0200 added changes by Konrad to prove_nchotomy
clasohm [Fri, 26 Apr 1996 12:33:30 +0200] rev 1690
added changes by Konrad to prove_nchotomy
Thu, 25 Apr 1996 18:44:13 +0200 Fixed some unfortunate variable names
paulson [Thu, 25 Apr 1996 18:44:13 +0200] rev 1689
Fixed some unfortunate variable names
Thu, 25 Apr 1996 17:31:07 +0200 Now contains HOLCF
paulson [Thu, 25 Apr 1996 17:31:07 +0200] rev 1688
Now contains HOLCF
Thu, 25 Apr 1996 14:06:16 +0200 temporarily included settings for unification bounds again
oheimb [Thu, 25 Apr 1996 14:06:16 +0200] rev 1687
temporarily included settings for unification bounds again
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip