src/Doc/Logics_ZF/IFOL_examples.thy
2017-08-18 wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485