Fri, 11 Sep 1998 14:09:46 +0200 stabilized proof of card_mono
oheimb [Fri, 11 Sep 1998 14:09:46 +0200] rev 5477
stabilized proof of card_mono
Fri, 11 Sep 1998 12:55:40 +0200 corrected indentation
oheimb [Fri, 11 Sep 1998 12:55:40 +0200] rev 5476
corrected indentation
Thu, 10 Sep 1998 18:07:06 +0200 equals0D
paulson [Thu, 10 Sep 1998 18:07:06 +0200] rev 5475
equals0D
Thu, 10 Sep 1998 18:06:39 +0200 well-formed asym rules; also adds less_irrefl, le_refl since order_refl
paulson [Thu, 10 Sep 1998 18:06:39 +0200] rev 5474
well-formed asym rules; also adds less_irrefl, le_refl since order_refl and order_less_irrefl are no longer included by AddIffs
Thu, 10 Sep 1998 17:50:06 +0200 added proof of final result...
paulson [Thu, 10 Sep 1998 17:50:06 +0200] rev 5473
added proof of final result...
Thu, 10 Sep 1998 17:49:36 +0200 tidied
paulson [Thu, 10 Sep 1998 17:49:36 +0200] rev 5472
tidied
Thu, 10 Sep 1998 17:49:14 +0200 Now WO1_WO7 has a .thy file
paulson [Thu, 10 Sep 1998 17:49:14 +0200] rev 5471
Now WO1_WO7 has a .thy file
Thu, 10 Sep 1998 17:42:44 +0200 eliminated equals0E
paulson [Thu, 10 Sep 1998 17:42:44 +0200] rev 5470
eliminated equals0E
Thu, 10 Sep 1998 17:42:02 +0200 fixed PROOF FAILED
paulson [Thu, 10 Sep 1998 17:42:02 +0200] rev 5469
fixed PROOF FAILED
Thu, 10 Sep 1998 17:40:03 +0200 tidied
paulson [Thu, 10 Sep 1998 17:40:03 +0200] rev 5468
tidied
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip