isabelle: File revisions

src/HOL/BNF_Wellorder_Embedding.thy

2020-08-09	paulson	elimination of some needless assumptions	file \| diff \| annotate
2020-08-08	paulson	iso lemmas	file \| diff \| annotate
2020-05-23	paulson	a few new lemmas about functions	file \| diff \| annotate
2018-02-15	wenzelm	more symbols;	file \| diff \| annotate
2017-11-26	wenzelm	more symbols;	file \| diff \| annotate
2016-05-13	wenzelm	eliminated use of empty "assms";	file \| diff \| annotate
2015-12-07	wenzelm	isabelle update_cartouches -c -t;	file \| diff \| annotate
2015-07-18	wenzelm	isabelle update_cartouches;	file \| diff \| annotate
2015-06-26	wenzelm	tuned whitespace;	file \| diff \| annotate
2014-11-02	wenzelm	modernized header uniformly as section;	file \| diff \| annotate
2014-03-06	traytel	rationalized imports	file \| diff \| annotate
2014-02-28	traytel	load Metis a little later	file \| diff \| annotate
2014-01-22	blanchet	whitespace tuning	file \| diff \| annotate
2014-01-20	blanchet	tuned comments	file \| diff \| annotate
2014-01-20	blanchet	renamed '_FP' files to 'BNF_' files	file \| diff \| annotate \| base

isabelle