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 |