isabelle: Changelog

nipkow [Tue, 21 Nov 2000 10:37:04 +0100] rev 10498

*** empty log message ***

kleing [Mon, 20 Nov 2000 16:41:25 +0100] rev 10497

BCV integration (type system is semilattice)

kleing [Mon, 20 Nov 2000 16:37:42 +0100] rev 10496

BCV integration (first step)

wenzelm [Sat, 18 Nov 2000 19:48:34 +0100] rev 10495

export freeze_thaw_type;

wenzelm [Sat, 18 Nov 2000 19:48:07 +0100] rev 10494

improved messages;

wenzelm [Sat, 18 Nov 2000 19:47:36 +0100] rev 10493

default_intro_classes_tac: Tactic.distinct_subgoals_tac;

wenzelm [Sat, 18 Nov 2000 19:47:12 +0100] rev 10492

axclass ordered_ring; instance int :: ordered_ring;

wenzelm [Sat, 18 Nov 2000 19:46:48 +0100] rev 10491

quot_cond_function: simplified, support conditional definition;

wenzelm [Sat, 18 Nov 2000 19:45:37 +0100] rev 10490

abs_eq_0: #0 instead of 0;

wenzelm [Sat, 18 Nov 2000 19:45:05 +0100] rev 10489

symbol syntax for "abs";

isabelle