| Sat, 15 Sep 2007 19:27:35 +0200 | haftmann | fixed title | file | diff | annotate |
| Tue, 31 Jul 2007 23:23:28 +0200 | wenzelm | simultaneous use_thys; | file | diff | annotate |
| Mon, 20 Nov 2006 23:47:10 +0100 | wenzelm | converted legacy ML scripts; | file | diff | annotate |
| Sun, 18 Sep 2005 15:20:08 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Tue, 30 May 2000 16:08:38 +0200 | wenzelm | cleaned up; | file | diff | annotate |
| Tue, 27 Jul 1999 18:50:14 +0200 | paulson | Sequents/LK/Nat: new example of simplification in LK | file | diff | annotate |
| Thu, 11 Mar 1999 13:20:35 +0100 | wenzelm | removed foo_build_completed -- now handled by session management (via usedir); | file | diff | annotate |
| Fri, 05 Feb 1999 21:14:17 +0100 | wenzelm | examples made separate dirs; | file | diff | annotate |