isabelle: Changelog

paulson [Fri, 02 Mar 2007 12:38:58 +0100] rev 22383

Meson.is_fol_term now takes a theory as argument. Minor tidying.

paulson [Fri, 02 Mar 2007 12:37:34 +0100] rev 22382

New code to store theorem names in a concise form rather than as fully-qualified. Meson.is_fol_term now takes a theory as argument.

paulson [Fri, 02 Mar 2007 12:35:20 +0100] rev 22381

The first-order test now tests for the obscure case of a polymorphic constant like 1 being used with a function type.

wenzelm [Wed, 28 Feb 2007 22:05:46 +0100] rev 22380

abbrev: be permissive after transformation;

wenzelm [Wed, 28 Feb 2007 22:05:44 +0100] rev 22379

exported get_ss, map_ss;

wenzelm [Wed, 28 Feb 2007 22:05:43 +0100] rev 22378

tuned;

wenzelm [Wed, 28 Feb 2007 22:05:43 +0100] rev 22377

tuned ML setup;

wenzelm [Wed, 28 Feb 2007 22:05:41 +0100] rev 22376

added @{const_name}, @{const_syntax};

krauss [Wed, 28 Feb 2007 16:35:00 +0100] rev 22375

more cleanup

aspinall [Wed, 28 Feb 2007 14:46:21 +0100] rev 22374

Add closeblock/openblock structure to proof-block commands

isabelle