isabelle: Changelog

wenzelm [Wed, 07 Nov 2001 18:18:19 +0100] rev 12093

syntax for structures;

wenzelm [Wed, 07 Nov 2001 18:17:45 +0100] rev 12092

tuned impose_hyps;

wenzelm [Wed, 07 Nov 2001 18:17:16 +0100] rev 12091

added structures; tuned;

wenzelm [Wed, 07 Nov 2001 18:16:54 +0100] rev 12090

\isasymstruct;

paulson [Wed, 07 Nov 2001 18:12:12 +0100] rev 12089

Sidi Ehmety's port of the fold_set operator and multisets to ZF. Also, fixes to the cancellation simprocs and a few new standard lemmas.

paulson [Wed, 07 Nov 2001 12:29:07 +0100] rev 12088

reorganization of the ZF examples

wenzelm [Wed, 07 Nov 2001 00:16:19 +0100] rev 12087

tuned;

wenzelm [Tue, 06 Nov 2001 23:56:14 +0100] rev 12086

cert_def: proper check of args, improved msgs; tuned;

wenzelm [Tue, 06 Nov 2001 23:55:19 +0100] rev 12085

pretty_goals_local: observes context syntax; PureThy.store_thm: locale_prefix;

wenzelm [Tue, 06 Nov 2001 23:54:09 +0100] rev 12084

defines: Thm.def_name, proper check of args;

isabelle