isabelle: File revisions

src/ZF/Datatype_ZF.thy

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

isabelle