| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Fri, 29 Aug 2003 15:19:02 +0200 | ballarin | Methods rule_tac etc support static (Isar) contexts. | file | diff | annotate |
| Fri, 08 Aug 2003 15:05:11 +0200 | streckem | added lemma c_hupd_fst | file | diff | annotate |
| Fri, 25 Jul 2003 17:21:22 +0200 | nipkow | Replaced \<leadsto> by \<rightharpoonup> | file | diff | annotate |
| Wed, 23 Oct 2002 16:09:02 +0200 | streckem | Added compiler | file | diff | annotate |
| Thu, 21 Feb 2002 09:54:08 +0100 | kleing | new document | file | diff | annotate |
| Tue, 18 Dec 2001 21:28:01 +0100 | kleing | removed preallocated heaps axiom (now in type safety invariant) | file | diff | annotate |