doc-src/IsarImplementation/Thy/Prelim.thy
Sat, 25 Jun 2011 17:17:49 +0200 wenzelm clarified Binding.pretty/print: no quotes, only markup -- Binding.str_of is rendered obsolete;
Thu, 09 Jun 2011 20:22:22 +0200 wenzelm tuned signature: Name.invent and Name.invent_names;
Thu, 09 Jun 2011 17:51:49 +0200 wenzelm simplified Name.variant -- discontinued builtin fold_map;
Mon, 02 May 2011 16:33:21 +0200 wenzelm added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory;
Sun, 01 May 2011 00:01:59 +0200 wenzelm use @{rail} antiquotation (with some nested markup);
Tue, 19 Apr 2011 10:50:54 +0200 wenzelm updated some theory primitives, which now depend on auxiliary context;
Sat, 16 Apr 2011 16:15:37 +0200 wenzelm modernized structure Proof_Context;
less more (0) -30 -10 -7 tip