isabelle: Changelog

lcp [Thu, 17 Mar 1994 12:56:44 +0100] rev 280

CCL/ccl.ML/po_refl_iff_T: deleted reference to make_iff_T CCL/ccl.ML/CCL_ss: now includes po_refl RS P_iff_T

lcp [Thu, 17 Mar 1994 12:36:58 +0100] rev 279

Improved layout for inductive defs

clasohm [Thu, 17 Mar 1994 11:24:31 +0100] rev 278

adapted type definition to new syntax

wenzelm [Fri, 04 Mar 1994 12:14:21 +0100] rev 277

fixed misfeature in Sign.extend: types of consts were read wrt. the new syntax;

lcp [Thu, 03 Mar 1994 17:43:14 +0100] rev 276

changed "x" to "uu" for implicit name of the dependent type variable

nipkow [Tue, 01 Mar 1994 17:21:47 +0100] rev 275

update towards LNCS

nipkow [Tue, 01 Mar 1994 16:00:53 +0100] rev 274

deleted a comment

nipkow [Sat, 26 Feb 1994 16:27:45 +0100] rev 273

*** empty log message ***

Mon, 21 Feb 1994 14:50:48 +0100 improved explode_tr;

wenzelm [Mon, 21 Feb 1994 14:50:48 +0100] rev 272

improved explode_tr;

nipkow [Wed, 16 Feb 1994 15:17:15 +0100] rev 271

minor update because HOL-lemma changed

isabelle