isabelle: File revisions

src/HOL/Nitpick_Examples/Mono_Nits.thy

2018-01-11	wenzelm	uniform use of Standard ML op-infix -- eliminated warnings;	file \| diff \| annotate
2018-01-10	nipkow	ran isabelle update_op on all sources	file \| diff \| annotate
2017-04-10	wenzelm	tuned signature;	file \| diff \| annotate
2016-05-26	wenzelm	isabelle update_cartouches -c -t;	file \| diff \| annotate
2016-03-05	wenzelm	tuned signature -- clarified modules;	file \| diff \| annotate
2016-03-03	wenzelm	clarified modules;	file \| diff \| annotate
2015-09-01	wenzelm	eliminated \<Colon>;	file \| diff \| annotate
2015-07-03	wenzelm	tuned signature;	file \| diff \| annotate
2015-03-04	wenzelm	tuned signature -- prefer qualified names;	file \| diff \| annotate
2014-11-26	wenzelm	renamed "pairself" to "apply2", in accordance to @{apply 2};	file \| diff \| annotate
2014-11-02	wenzelm	modernized header uniformly as section;	file \| diff \| annotate
2014-04-03	blanchet	removed clone (cf. 300f613060b0)	file \| diff \| annotate
2014-03-03	blanchet	removed nonstandard models from Nitpick	file \| diff \| annotate
2013-12-20	blanchet	compile	file \| diff \| annotate
2013-02-25	wenzelm	prefer stateless 'ML_val' for tests;	file \| diff \| annotate

isabelle