isabelle: Changelog

wenzelm [Tue, 05 Oct 1999 15:29:36 +0200] rev 7716

added copy_all; removed source;

wenzelm [Tue, 05 Oct 1999 15:28:37 +0200] rev 7715

clear: int arg;

wenzelm [Tue, 05 Oct 1999 15:26:10 +0200] rev 7714

added position;

berghofe [Tue, 05 Oct 1999 15:25:52 +0200] rev 7713

Additional rules for inductive package.

wenzelm [Tue, 05 Oct 1999 15:25:35 +0200] rev 7712

added untabify;

berghofe [Tue, 05 Oct 1999 15:24:58 +0200] rev 7711

Rule not_not is now stored in theory (needed by Inductive).

berghofe [Tue, 05 Oct 1999 15:23:22 +0200] rev 7710

Monotonicity rules for inductive definitions can now be added to a theory via attribute "mono".

wenzelm [Tue, 05 Oct 1999 14:11:34 +0200] rev 7709

macros for Isabelle generated LaTeX output;

wenzelm [Mon, 04 Oct 1999 21:48:59 +0200] rev 7708

arithmetic now in IntArith;

wenzelm [Mon, 04 Oct 1999 21:48:23 +0200] rev 7707

simprocs now in IntArith;

isabelle