src/HOLCF/Adm.thy
Fri, 03 Jun 2005 23:15:16 +0200 huffman changed to work with new contlubE rule
Thu, 26 May 2005 00:30:24 +0200 huffman moved adm_chfindom from Adm.thy to Fix.thy, to remove dependence on Cfun
Wed, 25 May 2005 09:44:34 +0200 wenzelm removed LICENCE note -- everything is subject to Isabelle licence as
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
Tue, 24 May 2005 05:03:54 +0200 huffman Moved admissibility definitions and lemmas to a separate theory
less more (0) tip