isabelle: File revisions

src/Doc/Isar_Ref/First_Order_Logic.thy

2019-01-04	wenzelm	isabelle update -u control_cartouches;	file \| diff \| annotate
2016-02-10	wenzelm	misc tuning;	file \| diff \| annotate
2016-02-07	wenzelm	more explicit dummy proofs;	file \| diff \| annotate
2015-11-13	wenzelm	more uniform jEdit properties;	file \| diff \| annotate
2015-11-04	wenzelm	isabelle update_cartouches -c;	file \| diff \| annotate
2015-10-20	wenzelm	isabelle update_cartouches -t;	file \| diff \| annotate
2015-10-12	wenzelm	more symbols;	file \| diff \| annotate
2015-10-12	wenzelm	redundant due to \parindent 0pt;	file \| diff \| annotate
2014-11-13	wenzelm	uniform treatment of all document markup commands: 'text' and 'txt' merely differ in LaTeX style;	file \| diff \| annotate
2014-11-02	wenzelm	modernized header uniformly as section;	file \| diff \| annotate
2014-10-07	wenzelm	more cartouches;	file \| diff \| annotate
2014-10-05	wenzelm	prefer @{cite} antiquotation;	file \| diff \| annotate
2014-04-15	wenzelm	tuned spelling;	file \| diff \| annotate
2014-04-08	haftmann	even more standardized doc session names after #b266e7a86485	file \| diff \| annotate \| base

isabelle