isabelle: Changelog

wenzelm [Mon, 12 May 1997 18:34:49 +0200] rev 3172

*** empty log message ***

Mon, 12 May 1997 18:34:34 +0200 added System;

wenzelm [Mon, 12 May 1997 18:34:34 +0200] rev 3171

added System;

wenzelm [Mon, 12 May 1997 18:26:53 +0200] rev 3170

The Isabelle System Manual;

wenzelm [Mon, 12 May 1997 18:21:21 +0200] rev 3169

improved doc stuff;

wenzelm [Mon, 12 May 1997 17:54:03 +0200] rev 3168

added AxClass;

wenzelm [Mon, 12 May 1997 17:53:36 +0200] rev 3167

Tutorial on Axiomatic Type Classes;

wenzelm [Mon, 12 May 1997 17:26:28 +0200] rev 3166

list of manuals to be made automatically;

wenzelm [Mon, 12 May 1997 17:24:29 +0200] rev 3165

'dist', 'clean';

wenzelm [Mon, 12 May 1997 17:15:36 +0200] rev 3164

added 'clean';

wenzelm [Mon, 12 May 1997 17:13:58 +0200] rev 3163

move to Inductive/

isabelle