isabelle: Changelog

paulson [Tue, 23 May 2000 12:34:26 +0200] rev 8930

removal of lessThan; use of AllocBase

paulson [Tue, 23 May 2000 12:32:24 +0200] rev 8929

declared sum_below

paulson [Tue, 23 May 2000 12:31:38 +0200] rev 8928

new files for the Allocator

paulson [Tue, 23 May 2000 12:30:29 +0200] rev 8927

eta-expanded to handle value polymorphism

wenzelm [Tue, 23 May 2000 12:13:45 +0200] rev 8926

improved warning messages;

nipkow [Tue, 23 May 2000 09:08:18 +0200] rev 8925

SetInterval

nipkow [Tue, 23 May 2000 07:32:24 +0200] rev 8924

Added SetInterval

wenzelm [Mon, 22 May 2000 16:05:22 +0200] rev 8923

new Isar version of HOL-AxClasses-Tutorial;

wenzelm [Mon, 22 May 2000 16:04:32 +0200] rev 8922

tuned;

wenzelm [Mon, 22 May 2000 16:03:43 +0200] rev 8921

* Pure: changed syntax of local blocks from {{ }} to { }; * Pure: syntax of sorts made inner, i.e. have to write "{a, b, c}";

isabelle