isabelle: Changelog

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";

wenzelm [Sat, 18 Nov 2000 00:32:08 +0100] rev 10488

added axclass ordered_field;

wenzelm [Fri, 17 Nov 2000 18:50:52 +0100] rev 10487

check result: Envir.beta_norm;

isabelle