isabelle: Changelog

wenzelm [Thu, 14 Jan 1999 12:32:00 +0100] rev 6126

Pure/General/symbol.ML;

wenzelm [Thu, 14 Jan 1999 12:23:00 +0100] rev 6125

tuned;

paulson [Wed, 13 Jan 1999 16:38:52 +0100] rev 6124

deleted the appendices because documentation exists in the HOL and ZF manuals

paulson [Wed, 13 Jan 1999 16:38:16 +0100] rev 6123

defined dquotesoff

paulson [Wed, 13 Jan 1999 16:38:02 +0100] rev 6122

new manual ZF

paulson [Wed, 13 Jan 1999 16:36:36 +0100] rev 6121

the separate FOL and ZF logics manual, with new material on datatypes and inductive definitions

paulson [Wed, 13 Jan 1999 16:30:53 +0100] rev 6120

removal of FOL and ZF

paulson [Wed, 13 Jan 1999 16:29:50 +0100] rev 6119

minor updates on inductive definitions and datatypes

wenzelm [Wed, 13 Jan 1999 15:18:02 +0100] rev 6118

fixed titles;

paulson [Wed, 13 Jan 1999 15:14:47 +0100] rev 6117

tidying of datatype and inductive definitions

isabelle