isabelle: Changelog

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

clasohm [Mon, 03 Jul 1995 13:37:29 +0200] rev 1177

removed debugging output

clasohm [Mon, 03 Jul 1995 13:08:49 +0200] rev 1176

remove Old_HOL

clasohm [Mon, 03 Jul 1995 13:06:36 +0200] rev 1175

added comments; fixed a bug; reduced memory usage slightly

lcp [Fri, 30 Jun 1995 11:39:20 +0200] rev 1174

added mention of new theories BT and Perm

lcp [Fri, 30 Jun 1995 11:34:14 +0200] rev 1173

new inductive definition: permutations

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

Renamed some vars.

isabelle