Wed, 26 Feb 2003 13:16:07 +0100 zprime_def fixes by Jeremy Avigad
paulson [Wed, 26 Feb 2003 13:16:07 +0100] rev 13833
zprime_def fixes by Jeremy Avigad
Wed, 26 Feb 2003 10:48:00 +0100 completed proofs for programs consisting of a single assignment
paulson [Wed, 26 Feb 2003 10:48:00 +0100] rev 13832
completed proofs for programs consisting of a single assignment
Wed, 26 Feb 2003 10:44:54 +0100 new lemma
paulson [Wed, 26 Feb 2003 10:44:54 +0100] rev 13831
new lemma
Wed, 26 Feb 2003 10:44:16 +0100 some x-symbols and some new lemmas
paulson [Wed, 26 Feb 2003 10:44:16 +0100] rev 13830
some x-symbols and some new lemmas
Tue, 25 Feb 2003 19:08:15 +0100 *** empty log message ***
nipkow [Tue, 25 Feb 2003 19:08:15 +0100] rev 13829
*** empty log message ***
Tue, 25 Feb 2003 18:49:23 +0100 added simp_depth_limit
nipkow [Tue, 25 Feb 2003 18:49:23 +0100] rev 13828
added simp_depth_limit
Tue, 25 Feb 2003 15:27:01 +0100 Documented prf / full_prf commands and antiquotations.
berghofe [Tue, 25 Feb 2003 15:27:01 +0100] rev 13827
Documented prf / full_prf commands and antiquotations.
Tue, 25 Feb 2003 12:42:08 +0100 Undid eta change for UN/INT.
nipkow [Tue, 25 Feb 2003 12:42:08 +0100] rev 13826
Undid eta change for UN/INT.
Thu, 20 Feb 2003 11:10:24 +0100 new inverse image lemmas
paulson [Thu, 20 Feb 2003 11:10:24 +0100] rev 13825
new inverse image lemmas
Thu, 20 Feb 2003 11:09:48 +0100 minor updates to pre-2002 release
paulson [Thu, 20 Feb 2003 11:09:48 +0100] rev 13824
minor updates to pre-2002 release
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip