isabelle: Changelog

kleing [Sun, 09 Dec 2001 14:35:36 +0100] rev 12431

converted to Isar

kleing [Sun, 09 Dec 2001 14:35:11 +0100] rev 12430

latex output setup

kleing [Sun, 09 Dec 2001 14:34:56 +0100] rev 12429

tuned for latex output

kleing [Sun, 09 Dec 2001 14:34:18 +0100] rev 12428

setup [trans] rules for calculational Isar reasoning

wenzelm [Sat, 08 Dec 2001 17:34:46 +0100] rev 12427

use /var/tmp (which happens to be more spacious on atbroy37);

wenzelm [Sat, 08 Dec 2001 17:25:45 +0100] rev 12426

new-style theory; proper declarations of various induction rules;

wenzelm [Sat, 08 Dec 2001 17:25:01 +0100] rev 12425

added Main.ML;

wenzelm [Sat, 08 Dec 2001 16:13:20 +0100] rev 12424

restart_loader: do *not* ThyLoad.reset_path;

wenzelm [Sat, 08 Dec 2001 14:43:48 +0100] rev 12423

tuned print_state interfaces;

wenzelm [Sat, 08 Dec 2001 14:43:16 +0100] rev 12422

optional PGML markup;

isabelle