isabelle: Changelog

wenzelm [Wed, 17 Mar 1999 13:49:14 +0100] rev 6383

actually check non-emptiness theorem; added typedef_proof(_i); 'typedef' outer syntax;

wenzelm [Wed, 17 Mar 1999 13:47:34 +0100] rev 6382

fixed typedef representing set;

wenzelm [Wed, 17 Mar 1999 13:47:04 +0100] rev 6381

adapted rep_datatype;

wenzelm [Wed, 17 Mar 1999 13:46:23 +0100] rev 6380

added dest_mem;

wenzelm [Wed, 17 Mar 1999 13:44:43 +0100] rev 6379

theory data; attributes for class axioms; instance_subclass/arity_proof(_i); expand_classes proof method; 'axclass' / 'instance' outer syntax;

wenzelm [Wed, 17 Mar 1999 13:42:42 +0100] rev 6378

adapted AxClass.add_axclass; PureThy.get_thm axioms;

wenzelm [Wed, 17 Mar 1999 13:41:50 +0100] rev 6377

tuned msgs; removed verbose flag;

isabelle