| Thu, 26 May 2005 00:30:24 +0200 | huffman | moved adm_chfindom from Adm.thy to Fix.thy, to remove dependence on Cfun | file | diff | annotate |
| Wed, 25 May 2005 09:44:34 +0200 | wenzelm | removed LICENCE note -- everything is subject to Isabelle licence as | file | diff | annotate |
| Tue, 24 May 2005 10:55:11 +0200 | paulson | cannot have files named adm.ML and Adm.ML on Macs, so deleted one and renamed the other | file | diff | annotate |
| Tue, 24 May 2005 05:03:54 +0200 | huffman | Moved admissibility definitions and lemmas to a separate theory | file | diff | annotate |