Thu, 26 May 2005 00:31:48 +0200 | huffman | removed dependence on Cfun.thy | 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 05:51:06 +0200 | huffman | New theory for defining subtypes of pcpos | file | diff | annotate |