src/Doc/Prog_Prove/Isar.thy
17 months ago nipkow 2017-11-09 Replaced Raw Proof Blocks by Local Lemmas
2017-04-11 nipkow 2017-04-11 doc for comp. ind.
2017-04-03 nipkow 2017-04-03 tuned
2017-04-03 nipkow 2017-04-03 tuned
2017-04-03 nipkow 2017-04-03 added chains of (in)equations
2017-01-09 nipkow 2017-01-09 fix problems because of "surj" input abbreviation; tuned
2015-10-26 nipkow 2015-10-26 adapted to 436b7fe89cdc
2015-10-13 nipkow 2015-10-13 even -> evn to avoid clash with global even
2015-08-25 nipkow 2015-08-25 tuned spacing
2015-08-25 nipkow 2015-08-25 tuned exercise
2015-08-24 nipkow 2015-08-24 typos
2015-08-24 nipkow 2015-08-24 nex exercise
2014-11-13 wenzelm 2014-11-13 uniform treatment of all document markup commands: 'text' and 'txt' merely differ in LaTeX style; discontinued obsolete 'txt_raw' (superseded by 'text_raw'); eliminated obsolete Outer_Syntax.markup (superseded by keyword kinds); 'text' and 'txt' no longer appear in Sidekick tree due to change of keyword kind; changed tagging of diagnostic commands within proof;
2014-10-06 nipkow 2014-10-06 tuned
2014-10-06 nipkow 2014-10-06 tuned spaces
2014-10-03 nipkow 2014-10-03 tuned
2014-10-03 nipkow 2014-10-03 tuned
2014-09-30 nipkow 2014-09-30 tuned
2014-09-30 nipkow 2014-09-30 tuned
2014-09-29 nipkow 2014-09-29 tuned
2014-05-18 nipkow 2014-05-18 typos
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485