isabelle: Changelog

wenzelm [Mon, 01 Oct 2001 14:42:47 +0200] rev 11646

updated output;

streckem [Mon, 01 Oct 2001 13:39:17 +0200] rev 11645

- declared wf_java_prog as syntax (previously: definition) - in wf_java_mdecl: added preconditions for 'This' - rule LAss: precondition v ~=This

streckem [Mon, 01 Oct 2001 13:36:25 +0200] rev 11644

Removed some unfoldings of defs after declaring wf_java_prog as syntax

streckem [Mon, 01 Oct 2001 13:33:49 +0200] rev 11643

Added axiom e~=This to reflect strengthened precond. in rule LAss

streckem [Mon, 01 Oct 2001 13:32:11 +0200] rev 11642

Minor modifications

wenzelm [Mon, 01 Oct 2001 11:56:40 +0200] rev 11641

added Ordinals example;

berghofe [Sun, 30 Sep 2001 13:42:00 +0200] rev 11640

Tuned indentation of abstractions.

wenzelm [Fri, 28 Sep 2001 21:45:40 +0200] rev 11639

tuned;

wenzelm [Fri, 28 Sep 2001 21:45:11 +0200] rev 11638

inductive: no collective atts;

wenzelm [Fri, 28 Sep 2001 20:09:10 +0200] rev 11637

inductive: no collective atts;

isabelle