isabelle: Changelog

wenzelm [Wed, 11 Oct 2006 00:27:35 +0200] rev 20961

added opt_begin;

wenzelm [Wed, 11 Oct 2006 00:27:34 +0200] rev 20960

added raw_theory(_result); tuned;

wenzelm [Wed, 11 Oct 2006 00:27:32 +0200] rev 20959

Toplevel.end_proof;

wenzelm [Wed, 11 Oct 2006 00:27:31 +0200] rev 20958

'end': handle local theory; 'locale': begin local theory;

wenzelm [Wed, 11 Oct 2006 00:27:30 +0200] rev 20957

undo_end/kill: handle local theory; Toplevel: generic_theory;

wenzelm [Wed, 11 Oct 2006 00:27:29 +0200] rev 20956

Toplevel: generic_theory;

urbanc [Tue, 10 Oct 2006 16:26:59 +0200] rev 20955

made some proof look more like the ones in Barendregt

paulson [Tue, 10 Oct 2006 15:33:25 +0200] rev 20954

A way to call the ATP linkup from ML scripts

paulson [Tue, 10 Oct 2006 15:30:48 +0200] rev 20953

Combinators require the theory name; added settings for SPASS

haftmann [Tue, 10 Oct 2006 13:59:16 +0200] rev 20952

stripped pointless head

isabelle