src/Doc/Prog_Prove/Types_and_funs.thy
2014-11-01 wenzelm 2014-11-01 eliminated spurious semicolons;
2014-10-07 wenzelm 2014-10-07 more antiquotations;
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-02 nipkow 2014-10-02 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-08-08 nipkow 2014-08-08 tuned
2014-08-07 nipkow 2014-08-07 tuned
2014-05-18 nipkow 2014-05-18 typos
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485