src/ZF/Datatype_ZF.thy
2012-08-22 wenzelm prefer ML_file over old uses;
2012-03-15 wenzelm declare command keywords via theory header, including strict checking outside Pure;
2011-02-18 wenzelm more precise headers;
2010-08-25 wenzelm renamed Simplifier.simproc(_i) to Simplifier.simproc_global(_i) to emphasize that this is not the real thing;
2010-08-18 haftmann deglobalization
2010-02-28 wenzelm more antiquotations;
2009-09-29 wenzelm modernized Balanced_Tree;
2009-09-29 wenzelm explicit indication of Unsynchronized.ref;
2009-08-28 wenzelm modernized messages -- eliminated ctyp/cterm operations;
2009-07-15 wenzelm more antiquotations;
2008-09-17 wenzelm back to dynamic the_context(), because static @{theory} is invalidated if ML environment changes within the same code block;
2008-05-18 wenzelm moved global pretty/string_of functions from Sign to Syntax;
2008-05-17 wenzelm structure Display: less pervasive operations;
2008-03-29 wenzelm replaced 'ML_setup' by 'ML';
2008-02-11 krauss Made theory names in ZF disjoint from HOL theory names to allow loading both developments
less more (0) tip