isabelle: Changelog

wenzelm [Thu, 03 Aug 2000 00:44:49 +0200] rev 9506

export get_local_clasimpset, clasimp_modifiers;

wenzelm [Thu, 03 Aug 2000 00:44:08 +0200] rev 9505

improved output of space symbol;

wenzelm [Thu, 03 Aug 2000 00:41:07 +0200] rev 9504

typ_no_norm;

wenzelm [Thu, 03 Aug 2000 00:34:22 +0200] rev 9503

tuned;

wenzelm [Wed, 02 Aug 2000 19:40:14 +0200] rev 9502

adapted deriv;

wenzelm [Wed, 02 Aug 2000 19:39:48 +0200] rev 9501

derivations: maintain oracle flag;

wenzelm [Wed, 02 Aug 2000 19:38:33 +0200] rev 9500

use oracle flag from derivation;

wenzelm [Wed, 02 Aug 2000 19:37:36 +0200] rev 9499

rep_thm: 'der' field has additional bool for oracles;

oheimb [Wed, 02 Aug 2000 17:54:55 +0200] rev 9498

minor corrections

wenzelm [Wed, 02 Aug 2000 16:49:26 +0200] rev 9497

isa: do not touch_all_thys on startup;

isabelle