src/HOL/Sum.thy
Fri, 10 Oct 1997 19:02:28 +0200 wenzelm fixed dots;
Fri, 18 Apr 1997 11:48:16 +0200 paulson Removed needless parentheses from translation
Wed, 20 Nov 1996 10:32:58 +0100 nipkow plus -> Plus to avoid hiding class plus
Fri, 08 Mar 1996 13:11:09 +0100 clasohm added constdefs section
Mon, 19 Feb 1996 18:04:41 +0100 nipkow Introduced normalize_thm into HOL.ML
Mon, 05 Feb 1996 21:27:16 +0100 clasohm expanded tabs; renamed subtype to typedef;
Thu, 28 Dec 1995 11:54:15 +0100 paulson fixed indentation
Wed, 29 Nov 1995 16:44:59 +0100 clasohm removed quotes from types in consts and syntax sections
Wed, 21 Jun 1995 15:47:10 +0200 clasohm removed \...\ inside strings
Fri, 03 Mar 1995 12:02:25 +0100 clasohm new version of HOL with curried function application
less more (0) tip