isabelle: Changelog

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;

wenzelm [Wed, 02 Nov 2005 14:46:58 +0100] rev 18062

moved consts declarations to consts.ML;

isabelle