src/Doc/Logics_ZF/ZF_examples.thy
2014-11-01 wenzelm 2014-11-01 eliminated spurious semicolons;
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485