isabelle: Changelog

wenzelm [Thu, 16 Oct 1997 13:38:47 +0200] rev 3888

transfer InfDatatype.thy Limit_VfromE;

wenzelm [Thu, 16 Oct 1997 13:38:28 +0200] rev 3887

transfer CardinalArith.thy nat_into_Ord;

wenzelm [Thu, 16 Oct 1997 13:36:04 +0200] rev 3886

improved pretty_arity;

wenzelm [Thu, 16 Oct 1997 13:34:15 +0200] rev 3885

added merge_theories (new name arg);

wenzelm [Thu, 16 Oct 1997 13:33:17 +0200] rev 3884

fixed merge_theories;

wenzelm [Thu, 16 Oct 1997 13:28:04 +0200] rev 3883

revert to 1.3;

wenzelm [Thu, 16 Oct 1997 13:20:31 +0200] rev 3882

revert to 1.1;

nipkow [Thu, 16 Oct 1997 13:13:03 +0200] rev 3881

Added last, butlast, dropped ttl.

mueller [Thu, 16 Oct 1997 10:29:56 +0200] rev 3880

lala

paulson [Thu, 16 Oct 1997 10:22:37 +0200] rev 3879

Eta-expansion of function declarations, for value polymorphism

isabelle