Sat, 27 Apr 1996 18:50:39 +0200 Updated IMP
nipkow [Sat, 27 Apr 1996 18:50:39 +0200] rev 1698
Updated IMP
Sat, 27 Apr 1996 18:49:21 +0200 Arithemtic and boolean expressions are now in a separate theory.
nipkow [Sat, 27 Apr 1996 18:49:21 +0200] rev 1697
Arithemtic and boolean expressions are now in a separate theory. The commands don not use them directly. Instead they are based on the semantics (rather than the syntax) of expressions.
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
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip