isabelle: Changelog

nipkow [Thu, 04 Apr 1996 17:31:37 +0200] rev 1648

Messed up last update.

nipkow [Thu, 04 Apr 1996 17:27:08 +0200] rev 1647

Replaced \CHOL by \HOLCF

paulson [Thu, 04 Apr 1996 15:34:52 +0200] rev 1646

updated comments

nipkow [Thu, 04 Apr 1996 14:36:07 +0200] rev 1645

Moved link to paper.

oheimb [Thu, 04 Apr 1996 13:28:50 +0200] rev 1644

Removed 8bit characters used by mistake

paulson [Thu, 04 Apr 1996 12:58:47 +0200] rev 1643

Fixed error in CHANGED (caused by variable renaming)

paulson [Thu, 04 Apr 1996 11:45:01 +0200] rev 1642

Using new "Times" infix

paulson [Thu, 04 Apr 1996 11:43:25 +0200] rev 1641

For renaming to rtrancl_Un_rtrancl

paulson [Thu, 04 Apr 1996 11:41:35 +0200] rev 1640

Added more _iff rewrites for Compl, Un, Int

paulson [Thu, 04 Apr 1996 10:24:38 +0200] rev 1639

New example Comb: Church-Rosser for combinators, ported from ZF

isabelle