isabelle: Changelog

wenzelm [Mon, 16 Nov 1998 11:11:42 +0100] rev 5887

attrib_setup;

wenzelm [Mon, 16 Nov 1998 11:10:00 +0100] rev 5886

all modifiers turned into attributes; realistic method syntax; smart_simp method;

wenzelm [Mon, 16 Nov 1998 11:09:02 +0100] rev 5885

tuned attribute names; all modifiers turned into attributes; realistic method syntax;

wenzelm [Mon, 16 Nov 1998 11:07:12 +0100] rev 5884

several args parsers; realistic syntax; tuned;

wenzelm [Mon, 16 Nov 1998 11:06:31 +0100] rev 5883

tuned names;

wenzelm [Mon, 16 Nov 1998 11:06:15 +0100] rev 5882

renamed tac / etac to refine / then_refine;

wenzelm [Mon, 16 Nov 1998 11:05:55 +0100] rev 5881

add print_theorems; print_thms: handle attributes; renamed tac / etac to refine / then_refine; tuned comments; load arg: name;

isabelle