isabelle: Changelog

lcp [Tue, 25 Jul 1995 16:58:06 +0200] rev 1187

Includes Sum.thy as a parent for mutual recursion

lcp [Tue, 25 Jul 1995 16:52:08 +0200] rev 1186

now uses proof209.sty

lcp [Tue, 25 Jul 1995 16:50:48 +0200] rev 1185

trivial update

lcp [Tue, 25 Jul 1995 16:43:55 +0200] rev 1184

trivial update

lcp [Tue, 25 Jul 1995 16:34:22 +0200] rev 1183

finally deleted

nipkow [Wed, 19 Jul 1995 15:53:43 +0200] rev 1182

Updated nipkow-prehofer

clasohm [Fri, 07 Jul 1995 13:57:43 +0200] rev 1181

moved mixfix syntax from sign.ML

clasohm [Fri, 07 Jul 1995 13:57:24 +0200] rev 1180

moved mixfix syntax to Syntax/mixfix.ML

nipkow [Wed, 05 Jul 1995 20:14:22 +0200] rev 1179

Added insert_not_empty, UN_empty and UN_insert (to set_ss).

clasohm [Mon, 03 Jul 1995 15:39:53 +0200] rev 1178

added cargs for curried function application

isabelle