isabelle: Changelog

nipkow [Sun, 18 Jul 1999 11:06:08 +0200] rev 7028

Modifid length_tl

wenzelm [Fri, 16 Jul 1999 22:27:16 +0200] rev 7027

adapted to dest_keywords, dest_parsers;

wenzelm [Fri, 16 Jul 1999 22:26:44 +0200] rev 7026

separate command tokens;

wenzelm [Fri, 16 Jul 1999 22:25:07 +0200] rev 7025

tuned dest_lexicon;

wenzelm [Fri, 16 Jul 1999 22:24:42 +0200] rev 7024

tuned;

wenzelm [Fri, 16 Jul 1999 22:23:26 +0200] rev 7023

removed break;

wenzelm [Fri, 16 Jul 1999 22:22:59 +0200] rev 7022

removed BREAK, ROLLBACK;

wenzelm [Fri, 16 Jul 1999 22:22:02 +0200] rev 7021

structure LocalDefs = LocalDefs; structure Calculation = Calculation; structure SkipProof = SkipProof;

berghofe [Fri, 16 Jul 1999 14:06:13 +0200] rev 7020

Exported function unify_consts (workaround to avoid inconsistently typed recursive constants in inductive and primrec definitions).

berghofe [Fri, 16 Jul 1999 14:03:33 +0200] rev 7019

Added new example (infinitely branching trees).

isabelle