isabelle: Changelog

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).

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

Infinitely branching trees.

berghofe [Fri, 16 Jul 1999 13:25:45 +0200] rev 7017

Replaced datatype_info by datatype_info_err.

isabelle