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
Thu, 10 Sep 1998 17:38:36 +0200 deleted the bogus equals0E, fixed equals0D
paulson [Thu, 10 Sep 1998 17:38:36 +0200] rev 5467
deleted the bogus equals0E, fixed equals0D
Thu, 10 Sep 1998 17:36:42 +0200 eliminated equals0E
paulson [Thu, 10 Sep 1998 17:36:42 +0200] rev 5466
eliminated equals0E
Thu, 10 Sep 1998 17:34:43 +0200 well-formed asym rules
paulson [Thu, 10 Sep 1998 17:34:43 +0200] rev 5465
well-formed asym rules
Thu, 10 Sep 1998 17:34:01 +0200 new file AC/WO1_WO7.thy
paulson [Thu, 10 Sep 1998 17:34:01 +0200] rev 5464
new file AC/WO1_WO7.thy
Thu, 10 Sep 1998 17:33:09 +0200 Allows more backtracking in proof reconstruction, making it slower but more
paulson [Thu, 10 Sep 1998 17:33:09 +0200] rev 5463
Allows more backtracking in proof reconstruction, making it slower but more robust (avoiding PROOF FAILED) Record type of branches, better tracing, etc.
Thu, 10 Sep 1998 17:32:07 +0200 a step to help a proof
paulson [Thu, 10 Sep 1998 17:32:07 +0200] rev 5462
a step to help a proof
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip