isabelle: Changelog

wenzelm [Tue, 23 Oct 2001 23:28:59 +0200] rev 11917

moved RANGE to tctical.ML; moved export_assume, export_presume, export_def to proof_context.ML;

wenzelm [Tue, 23 Oct 2001 23:28:01 +0200] rev 11916

added RANGE (from Isar/proof.ML);

wenzelm [Tue, 23 Oct 2001 22:59:14 +0200] rev 11915

print fixed names as plain strings;

wenzelm [Tue, 23 Oct 2001 22:58:15 +0200] rev 11914

eliminated old numerals;

wenzelm [Tue, 23 Oct 2001 22:57:52 +0200] rev 11913

use generic 1 instead of Numeral1; use improved iff declaration; tuned;

wenzelm [Tue, 23 Oct 2001 22:56:55 +0200] rev 11912

eliminated Numeral0;

wenzelm [Tue, 23 Oct 2001 22:54:01 +0200] rev 11911

build option enables most basic browser info (for proper recording of session);

wenzelm [Tue, 23 Oct 2001 22:53:08 +0200] rev 11910

build option;

wenzelm [Tue, 23 Oct 2001 22:52:45 +0200] rev 11909

tuned;

wenzelm [Tue, 23 Oct 2001 22:52:31 +0200] rev 11908

eliminated old numerals;

isabelle