isabelle: File revisions

src/HOL/Library/Code_Abstract_Nat.thy

2015-07-27	wenzelm	2015-07-27	tuned signature;	file \| diff \| annotate
2015-06-17	wenzelm	2015-06-17	isabelle update_cartouches;	file \| diff \| annotate
2015-03-06	wenzelm	2015-03-06	clarified context;	file \| diff \| annotate
2015-03-06	wenzelm	2015-03-06	Thm.cterm_of and Thm.ctyp_of operate on local context;	file \| diff \| annotate
2015-03-04	wenzelm	2015-03-04	clarified signature;	file \| diff \| annotate
2015-03-04	wenzelm	2015-03-04	tuned signature -- prefer qualified names;	file \| diff \| annotate
2014-12-21	wenzelm	2014-12-21	proper context;	file \| diff \| annotate
2014-11-02	wenzelm	2014-11-02	modernized header;	file \| diff \| annotate
2014-06-28	haftmann	2014-06-28	proper trading of variables; more appropriate ML variable names	file \| diff \| annotate
2014-06-28	haftmann	2014-06-28	modernized	file \| diff \| annotate
2014-04-29	wenzelm	2014-04-29	prefer plain ASCII / latex over not-so-universal Unicode;	file \| diff \| annotate
2014-02-26	haftmann	2014-02-26	prefer proof context over background theory	file \| diff \| annotate
2014-02-12	blanchet	2014-02-12	renamed 'nat_{case,rec}' to '{case,rec}_nat'	file \| diff \| annotate
2013-02-14	haftmann	2013-02-14	factored out shared preprocessor setup into theory Code_Abstract_Nat, tuning descriptions	file \| diff \| annotate

isabelle