isabelle: Changelog

wenzelm [Tue, 22 Jan 2002 21:18:36 +0100] rev 12834

added locale_facts(_i) interface (useful for simple ML proof tools);

wenzelm [Mon, 21 Jan 2002 22:27:34 +0100] rev 12833

full_proofs;

wenzelm [Mon, 21 Jan 2002 17:03:38 +0100] rev 12832

* Pure/show_hyps reset by default (in accordance to existing Isar practice);

wenzelm [Mon, 21 Jan 2002 17:02:52 +0100] rev 12831

reset show_hyps by default (in accordance to existing Isar practice);

wenzelm [Mon, 21 Jan 2002 16:28:22 +0100] rev 12830

save library;

wenzelm [Mon, 21 Jan 2002 16:15:16 +0100] rev 12829

full_atomize;

wenzelm [Mon, 21 Jan 2002 15:29:06 +0100] rev 12828

wild guess at polyml-4.1.2;

wenzelm [Mon, 21 Jan 2002 15:28:34 +0100] rev 12827

options -l and -t; tuned;

berghofe [Mon, 21 Jan 2002 14:48:11 +0100] rev 12826

Removed timing function.

paulson [Mon, 21 Jan 2002 14:47:55 +0100] rev 12825

new simprules and classical rules

isabelle