2001-02-05 wenzelm [Mon, 05 Feb 2001 14:30:55 +0100] rev 11061
example Proof General settings;
etc/proofgeneral-settings.el

2001-02-04 wenzelm [Sun, 04 Feb 2001 22:34:52 +0100] rev 11060
document setup;
src/HOL/NumberTheory/document/root.tex

2001-02-04 wenzelm [Sun, 04 Feb 2001 22:28:31 +0100] rev 11059
converted to new-style;
src/HOL/NumberTheory/EulerFermat.ML

2001-02-04 wenzelm [Sun, 04 Feb 2001 19:46:31 +0100] rev 11058
moved theory Perm to HOL/Library;
src/HOL/Induct/ROOT.ML

2001-02-04 wenzelm [Sun, 04 Feb 2001 19:44:09 +0100] rev 11057
added no_document
src/Pure/Thy/present.ML

2001-02-04 wenzelm [Sun, 04 Feb 2001 19:43:32 +0100] rev 11056
tuned
src/HOL/Library/ROOT.ML

2001-02-04 wenzelm [Sun, 04 Feb 2001 19:43:15 +0100] rev 11055
added Permutation;
src/HOL/Library/Library.thy

2001-02-04 wenzelm [Sun, 04 Feb 2001 19:42:54 +0100] rev 11054
moved from Induct/ to Library/
src/HOL/Induct/Perm.ML src/HOL/Induct/Perm.thy src/HOL/Library/Permutation.thy

2001-02-04 wenzelm [Sun, 04 Feb 2001 19:41:47 +0100] rev 11053
updated
src/HOL/Induct/README.html src/HOL/Library/document/root.tex

2001-02-04 wenzelm [Sun, 04 Feb 2001 19:41:30 +0100] rev 11052
added no_document;
doc-src/Ref/theories.tex