isabelle: Changelog

nipkow [Thu, 29 Jun 1995 16:53:01 +0200] rev 1172

Renamed some vars.

lcp [Thu, 29 Jun 1995 16:50:14 +0200] rev 1171

fixed comment

lcp [Thu, 29 Jun 1995 16:39:24 +0200] rev 1170

Proof of n_leaves_reflect uses permutative rewriting.

lcp [Thu, 29 Jun 1995 16:33:17 +0200] rev 1169

Added function rev and its properties length_rev, etc.

regensbu [Thu, 29 Jun 1995 16:28:40 +0200] rev 1168

The curried version of HOLCF is now just called HOLCF. The old uncurried version is no longer supported

lcp [Thu, 29 Jun 1995 16:16:24 +0200] rev 1167

New theory and proofs including preorder, inorder, ..., initially from ZF/ex/BT. Demonstrates datatypes and primrec.

clasohm [Thu, 29 Jun 1995 13:34:35 +0200] rev 1166

renamed CHOL to HOL

clasohm [Thu, 29 Jun 1995 12:48:48 +0200] rev 1165

renamed CHOL to HOL

clasohm [Thu, 29 Jun 1995 12:34:16 +0200] rev 1164

renamed CHOL to HOL

clasohm [Thu, 29 Jun 1995 12:28:27 +0200] rev 1163

changed 'chol' labels to 'hol'; added a few parentheses

isabelle