doc-src/IsarImplementation/Thy/Prelim.thy
Tue, 02 Feb 2010 11:47:49 +0100 wenzelm moved examples to proper place;
Mon, 01 Feb 2010 22:46:12 +0100 wenzelm more details on long names, binding/naming, name space;
Sun, 31 Jan 2010 22:08:25 +0100 wenzelm Variable.names_of;
less more (0) -10 -3 tip