Wed, 13 Sep 2006 12:18:36 +0200 paulson bug fix to abstractions: free variables in theorem can be abstracted over.
Wed, 13 Sep 2006 12:17:17 +0200 paulson Tweaks to is_fol_term, the first-order test. We don't count "=" as a connective
Wed, 13 Sep 2006 12:05:50 +0200 krauss Major update to function package, including new syntax and the (only theoretical)
Wed, 13 Sep 2006 00:38:38 +0200 huffman added instance rat :: recpower
Tue, 12 Sep 2006 21:05:39 +0200 wenzelm more on theorems;
Tue, 12 Sep 2006 17:45:58 +0200 wenzelm tuned;
Tue, 12 Sep 2006 17:23:34 +0200 wenzelm more on terms;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip