isabelle: Changelog

huffman [Thu, 03 Nov 2005 00:32:47 +0100] rev 18073

removed ex/loeckx.ML

huffman [Thu, 03 Nov 2005 00:31:32 +0100] rev 18072

removed proof about Ifix, which no longer exists

huffman [Thu, 03 Nov 2005 00:16:09 +0100] rev 18071

cleaned up; chain_const and thelub_const are simp rules

huffman [Thu, 03 Nov 2005 00:12:29 +0100] rev 18070

cleaned up; removed adm_tricks in favor of compactness theorems

huffman [Wed, 02 Nov 2005 23:59:49 +0100] rev 18069

fix spelling

berghofe [Wed, 02 Nov 2005 16:37:39 +0100] rev 18068

Moved atom stuff to new file nominal_atoms.ML

urbanc [Wed, 02 Nov 2005 15:31:12 +0100] rev 18067

- completed the list of thms for supp_atm - cleaned up the way how thms are collected under single names

berghofe [Wed, 02 Nov 2005 15:05:22 +0100] rev 18066

Added code for proving that new datatype has finite support.

isabelle