isabelle: Changelog

wenzelm [Fri, 04 Apr 1997 19:08:35 +0200] rev 2914

improved messages;

wenzelm [Fri, 04 Apr 1997 19:07:54 +0200] rev 2913

fixed diagnostic output of print modes;

nipkow [Fri, 04 Apr 1997 16:33:28 +0200] rev 2912

moved inj and surj from Set to Fun and Inv -> inv.

nipkow [Fri, 04 Apr 1997 16:27:39 +0200] rev 2911

Inv -> inv

slotosch [Fri, 04 Apr 1997 16:16:35 +0200] rev 2910

*** empty log message ***

Fri, 04 Apr 1997 16:04:28 +0200 Added Example Quot

slotosch [Fri, 04 Apr 1997 16:04:28 +0200] rev 2909

Added Example Quot CVS ----------------------------------------------------------------------

slotosch [Fri, 04 Apr 1997 16:03:48 +0200] rev 2908

Start Example

nipkow [Fri, 04 Apr 1997 16:03:44 +0200] rev 2907

inv -> inverse

slotosch [Fri, 04 Apr 1997 16:03:11 +0200] rev 2906

Example for higher order quotients: Fractionals

slotosch [Fri, 04 Apr 1997 16:02:12 +0200] rev 2905

(higher-order) quotient constructor quot, based on PER

isabelle