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.
wenzelm [Wed, 02 Nov 2005 14:48:55 +0100] rev 18065
removed unused modify_typargs, map_typargs, fold_typargs;
wenzelm [Wed, 02 Nov 2005 14:47:01 +0100] rev 18064
added Isar.state/exn;
wenzelm [Wed, 02 Nov 2005 14:47:00 +0100] rev 18063
Isar.loop;