1995-12-01 clasohm [Fri, 01 Dec 1995 13:54:27 +0100] rev 1383
added const_type to type_decl
src/Pure/Thy/thy_parse.ML

1995-12-01 clasohm [Fri, 01 Dec 1995 13:41:48 +0100] rev 1382
corrected diagrams for type and simpleType
doc-src/Ref/theory-syntax.tex

1995-12-01 clasohm [Fri, 01 Dec 1995 13:03:34 +0100] rev 1381
removed some more quotes
src/HOL/Subst/UTLemmas.thy src/HOL/Subst/UTerm.thy src/HOL/ex/Simult.thy

1995-12-01 clasohm [Fri, 01 Dec 1995 12:27:09 +0100] rev 1380
changed HTML documentation
doc-src/Ref/theories.tex

1995-12-01 clasohm [Fri, 01 Dec 1995 12:26:42 +0100] rev 1379
modified simpleType
doc-src/Ref/theory-syntax.tex

1995-12-01 clasohm [Fri, 01 Dec 1995 12:24:06 +0100] rev 1378
removed debugging message;
link to non-existing super index is now omitted silently
src/Pure/Thy/thy_read.ML

1995-12-01 clasohm [Fri, 01 Dec 1995 12:22:07 +0100] rev 1377
simplified parser for constType
src/Pure/Thy/thy_parse.ML

1995-12-01 clasohm [Fri, 01 Dec 1995 12:03:13 +0100] rev 1376
removed quotes from consts and syntax sections
src/HOL/IOA/ABP/Abschannel.thy src/HOL/IOA/ABP/Abschannel_finite.thy src/HOL/IOA/ABP/Correctness.thy src/HOL/IOA/ABP/Env.thy src/HOL/IOA/ABP/Impl.thy src/HOL/IOA/ABP/Impl_finite.thy src/HOL/IOA/ABP/Packet.thy src/HOL/IOA/ABP/Receiver.thy src/HOL/IOA/ABP/Sender.thy src/HOL/IOA/ABP/Spec.thy src/HOL/IOA/NTP/Abschannel.thy src/HOL/IOA/NTP/Correctness.thy src/HOL/IOA/NTP/Impl.thy src/HOL/IOA/NTP/Multiset.thy src/HOL/IOA/NTP/Packet.thy src/HOL/IOA/NTP/Receiver.thy src/HOL/IOA/NTP/Sender.thy src/HOL/IOA/NTP/Spec.thy src/HOL/Lambda/Eta.thy src/HOL/Lambda/Lambda.thy src/HOL/Lambda/ParRed.thy src/HOL/MiniML/I.thy src/HOL/MiniML/Maybe.thy src/HOL/MiniML/MiniML.thy src/HOL/MiniML/Type.thy src/HOL/MiniML/W.thy src/HOL/ex/BT.thy src/HOL/ex/InSort.thy src/HOL/ex/LList.thy src/HOL/ex/MT.thy src/HOL/ex/NatSum.thy src/HOL/ex/Perm.thy src/HOL/ex/PropLog.thy src/HOL/ex/Puzzle.thy src/HOL/ex/Qsort.thy src/HOL/ex/Rec.thy src/HOL/ex/SList.thy src/HOL/ex/Simult.thy src/HOL/ex/Sorting.thy src/HOL/ex/String.thy src/HOL/ex/Term.thy

1995-11-30 clasohm [Thu, 30 Nov 1995 12:58:44 +0100] rev 1375
removed spaghetti diagrams for constType
doc-src/Ref/theory-syntax.tex

1995-11-29 clasohm [Wed, 29 Nov 1995 17:01:41 +0100] rev 1374
removed quotes from consts and syntax sections
src/HOL/Hoare/Arith2.thy src/HOL/Hoare/Examples.thy src/HOL/Hoare/Hoare.thy src/HOL/IMP/Com.thy src/HOL/IMP/Denotation.thy src/HOL/IMP/Hoare.thy src/HOL/Integ/Integ.thy src/HOL/Lex/Auto.thy src/HOL/Lex/AutoChopper.thy src/HOL/Lex/Chopper.thy src/HOL/Subst/UTerm.thy src/HOL/Subst/Unifier.thy