isabelle: Changelog

oheimb [Tue, 13 May 1997 15:02:19 +0200] rev 3176

corrected problem with type abbreviations in pcpo_type

wenzelm [Tue, 13 May 1997 13:02:34 +0200] rev 3175

of_sort: type_sig -> typ * sort -> bool;

wenzelm [Mon, 12 May 1997 18:44:43 +0200] rev 3174

added system, ind_defs, axclass;

wenzelm [Mon, 12 May 1997 18:43:24 +0200] rev 3173

fixed ISABELLE_DOCS multiple components;

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;

isabelle