Fri, 06 Jun 1997 13:26:41 +0200 The name bex_conj_distrib was WRONG
paulson [Fri, 06 Jun 1997 13:26:41 +0200] rev 3426
The name bex_conj_distrib was WRONG
Fri, 06 Jun 1997 12:48:21 +0200 Better miniscoping for bounded quantifiers
paulson [Fri, 06 Jun 1997 12:48:21 +0200] rev 3425
Better miniscoping for bounded quantifiers
Fri, 06 Jun 1997 10:47:16 +0200 Tidying and simplification of declarations
paulson [Fri, 06 Jun 1997 10:47:16 +0200] rev 3424
Tidying and simplification of declarations
Fri, 06 Jun 1997 10:46:26 +0200 Much polishing of proofs
paulson [Fri, 06 Jun 1997 10:46:26 +0200] rev 3423
Much polishing of proofs
Fri, 06 Jun 1997 10:22:13 +0200 New miniscoping rules for ALL
paulson [Fri, 06 Jun 1997 10:22:13 +0200] rev 3422
New miniscoping rules for ALL
Fri, 06 Jun 1997 10:21:10 +0200 New facts about In0/1 by Burkhart Wolff
paulson [Fri, 06 Jun 1997 10:21:10 +0200] rev 3421
New facts about In0/1 by Burkhart Wolff
Fri, 06 Jun 1997 10:20:38 +0200 New miniscoping rules ball_triv and bex_triv
paulson [Fri, 06 Jun 1997 10:20:38 +0200] rev 3420
New miniscoping rules ball_triv and bex_triv
Fri, 06 Jun 1997 10:19:53 +0200 Mended the definition of ack(0,n)
paulson [Fri, 06 Jun 1997 10:19:53 +0200] rev 3419
Mended the definition of ack(0,n)
Fri, 06 Jun 1997 10:19:20 +0200 Two new examples; corrected a comment
paulson [Fri, 06 Jun 1997 10:19:20 +0200] rev 3418
Two new examples; corrected a comment
Fri, 06 Jun 1997 10:18:46 +0200 New example theory: Recdef
paulson [Fri, 06 Jun 1997 10:18:46 +0200] rev 3417
New example theory: Recdef
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip