isabelle: Changelog

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

wenzelm [Wed, 13 Jan 1999 12:44:33 +0100] rev 6116

files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;

nipkow [Wed, 13 Jan 1999 12:16:34 +0100] rev 6115

Refined arithmetic.

isabelle