1997-04-04 wenzelm [Fri, 04 Apr 1997 19:08:35 +0200] rev 2914
improved messages;
build

1997-04-04 wenzelm [Fri, 04 Apr 1997 19:07:54 +0200] rev 2913
fixed diagnostic output of print modes;
src/Pure/Syntax/printer.ML src/Pure/Syntax/symbol_font.ML src/Pure/Syntax/syn_ext.ML src/Pure/Syntax/syntax.ML

1997-04-04 nipkow [Fri, 04 Apr 1997 16:33:28 +0200] rev 2912
moved inj and surj from Set to Fun and Inv -> inv.
src/HOL/Fun.ML src/HOL/Fun.thy src/HOL/HOL.thy src/HOL/Set.ML src/HOL/Set.thy src/HOL/equalities.ML

1997-04-04 nipkow [Fri, 04 Apr 1997 16:27:39 +0200] rev 2911
Inv -> inv
src/HOL/ex/LList.ML src/HOL/ex/LList.thy src/HOL/ex/SList.ML src/HOL/ex/SList.thy src/HOL/ex/Simult.ML src/HOL/ex/Simult.thy src/HOL/ex/Term.ML src/HOL/ex/Term.thy src/HOL/ex/set.ML

1997-04-04 slotosch [Fri, 04 Apr 1997 16:16:35 +0200] rev 2910
*** empty log message ***
src/HOL/Quot/FRACT.thy src/HOL/Quot/README

1997-04-04 slotosch [Fri, 04 Apr 1997 16:04:28 +0200] rev 2909
Added Example Quot
CVS ----------------------------------------------------------------------
src/HOL/IsaMakefile

1997-04-04 slotosch [Fri, 04 Apr 1997 16:03:48 +0200] rev 2908
Start Example
src/HOL/Quot/README src/HOL/Quot/ROOT.ML

1997-04-04 nipkow [Fri, 04 Apr 1997 16:03:44 +0200] rev 2907
inv -> inverse
src/HOL/AxClasses/Group/Group.ML src/HOL/AxClasses/Group/Group.thy src/HOL/AxClasses/Group/GroupDefs.ML src/HOL/AxClasses/Group/GroupDefs.thy src/HOL/AxClasses/Group/GroupInsts.thy src/HOL/AxClasses/Group/Sigs.thy src/HOL/AxClasses/Tutorial/BoolGroupInsts.thy src/HOL/AxClasses/Tutorial/Group.ML src/HOL/AxClasses/Tutorial/Group.thy src/HOL/AxClasses/Tutorial/Sigs.thy src/HOL/AxClasses/Tutorial/Xor.ML src/HOL/AxClasses/Tutorial/Xor.thy

1997-04-04 slotosch [Fri, 04 Apr 1997 16:03:11 +0200] rev 2906
Example for higher order quotients: Fractionals
src/HOL/Quot/FRACT.ML src/HOL/Quot/FRACT.thy src/HOL/Quot/NPAIR.ML src/HOL/Quot/NPAIR.thy

1997-04-04 slotosch [Fri, 04 Apr 1997 16:02:12 +0200] rev 2905
(higher-order) quotient constructor quot, based on PER
src/HOL/Quot/HQUOT.ML src/HOL/Quot/HQUOT.thy