| Thu, 01 Oct 2009 20:13:32 +0200 | wenzelm | enable slow-motion mode to accomodate unsynchronized refs within theory sources; | file | diff | annotate |
| Wed, 17 Jun 2009 10:07:22 +0200 | haftmann | more precise dependencies | file | diff | annotate |
| Sat, 04 Oct 2008 16:05:09 +0200 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
| Tue, 01 Jul 2008 08:05:08 +0200 | haftmann | HOL += HOL-Complex | file | diff | annotate |
| Mon, 05 Nov 2007 15:37:41 +0100 | nipkow | removed advanced recdef section and replaced it by citation of Alex's tutorial. | file | diff | annotate |
| Thu, 01 Nov 2007 20:20:19 +0100 | nipkow | recdef -> fun | file | diff | annotate |
| Mon, 23 Jul 2007 14:34:27 +0200 | berghofe | Removed legacy ML files in Protocol case study. | file | diff | annotate |