| 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 |