Wed, 11 Oct 2006 00:27:34 +0200 added raw_theory(_result);
wenzelm [Wed, 11 Oct 2006 00:27:34 +0200] rev 20960
added raw_theory(_result); tuned;
Wed, 11 Oct 2006 00:27:32 +0200 Toplevel.end_proof;
wenzelm [Wed, 11 Oct 2006 00:27:32 +0200] rev 20959
Toplevel.end_proof;
Wed, 11 Oct 2006 00:27:31 +0200 'end': handle local theory;
wenzelm [Wed, 11 Oct 2006 00:27:31 +0200] rev 20958
'end': handle local theory; 'locale': begin local theory;
Wed, 11 Oct 2006 00:27:30 +0200 undo_end/kill: handle local theory;
wenzelm [Wed, 11 Oct 2006 00:27:30 +0200] rev 20957
undo_end/kill: handle local theory; Toplevel: generic_theory;
Wed, 11 Oct 2006 00:27:29 +0200 Toplevel: generic_theory;
wenzelm [Wed, 11 Oct 2006 00:27:29 +0200] rev 20956
Toplevel: generic_theory;
Tue, 10 Oct 2006 16:26:59 +0200 made some proof look more like the ones in Barendregt
urbanc [Tue, 10 Oct 2006 16:26:59 +0200] rev 20955
made some proof look more like the ones in Barendregt
Tue, 10 Oct 2006 15:33:25 +0200 A way to call the ATP linkup from ML scripts
paulson [Tue, 10 Oct 2006 15:33:25 +0200] rev 20954
A way to call the ATP linkup from ML scripts
Tue, 10 Oct 2006 15:30:48 +0200 Combinators require the theory name; added settings for SPASS
paulson [Tue, 10 Oct 2006 15:30:48 +0200] rev 20953
Combinators require the theory name; added settings for SPASS
Tue, 10 Oct 2006 13:59:16 +0200 stripped pointless head
haftmann [Tue, 10 Oct 2006 13:59:16 +0200] rev 20952
stripped pointless head
Tue, 10 Oct 2006 13:59:13 +0200 gen_rem(s) abandoned in favour of remove / subtract
haftmann [Tue, 10 Oct 2006 13:59:13 +0200] rev 20951
gen_rem(s) abandoned in favour of remove / subtract
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip