Thu, 20 Jun 1996 10:27:29 +0200 Restored Addsimps [Suc_le_lessD], as it cannot be added
paulson [Thu, 20 Jun 1996 10:27:29 +0200] rev 1818
Restored Addsimps [Suc_le_lessD], as it cannot be added to base HOL
Thu, 20 Jun 1996 10:26:13 +0200 Corrected comment
paulson [Thu, 20 Jun 1996 10:26:13 +0200] rev 1817
Corrected comment
Tue, 18 Jun 1996 16:38:48 +0200 New rewrites for vacuous quantification
paulson [Tue, 18 Jun 1996 16:38:48 +0200] rev 1816
New rewrites for vacuous quantification
Tue, 18 Jun 1996 16:37:47 +0200 Addition of setOfList
paulson [Tue, 18 Jun 1996 16:37:47 +0200] rev 1815
Addition of setOfList
Tue, 18 Jun 1996 16:36:04 +0200 Addition of Safe_step_tac
paulson [Tue, 18 Jun 1996 16:36:04 +0200] rev 1814
Addition of Safe_step_tac
Tue, 18 Jun 1996 16:27:04 +0200 Translation infixes <->, etc., no longer available at top-level
paulson [Tue, 18 Jun 1996 16:27:04 +0200] rev 1813
Translation infixes <->, etc., no longer available at top-level
Tue, 18 Jun 1996 16:20:30 +0200 Addition of setOfList
paulson [Tue, 18 Jun 1996 16:20:30 +0200] rev 1812
Addition of setOfList
Tue, 18 Jun 1996 16:18:44 +0200 Removal of list_all
paulson [Tue, 18 Jun 1996 16:18:44 +0200] rev 1811
Removal of list_all
Tue, 18 Jun 1996 16:17:38 +0200 Translation infixes <->, etc., no longer available at top-level
paulson [Tue, 18 Jun 1996 16:17:38 +0200] rev 1810
Translation infixes <->, etc., no longer available at top-level
Mon, 17 Jun 1996 16:51:47 +0200 Inserted comment about problem 43
paulson [Mon, 17 Jun 1996 16:51:47 +0200] rev 1809
Inserted comment about problem 43
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip