| Fri, 08 Jul 2005 02:41:35 +0200 | huffman | renamed upE1 to upE | file | diff | annotate |
| Wed, 08 Jun 2005 01:41:20 +0200 | huffman | fixed renamed lemma | file | diff | annotate |
| Sat, 04 Jun 2005 02:12:10 +0200 | huffman | fix imports | file | diff | annotate |
| Sat, 04 Jun 2005 00:23:40 +0200 | huffman | add dependency on Fixrec.thy | file | diff | annotate |
| Fri, 03 Jun 2005 23:36:17 +0200 | huffman | renamed defined lemmas | file | diff | annotate |
| Tue, 31 May 2005 11:53:12 +0200 | wenzelm | tuned; | 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 |
| Sat, 16 Apr 2005 00:16:44 +0200 | huffman | New file for theorems used by the domain package | file | diff | annotate |