isabelle: Changelog

paulson [Tue, 23 May 2000 18:14:57 +0200] rev 8937

defining 0::int to be (int 0)

paulson [Tue, 23 May 2000 18:08:52 +0200] rev 8936

Now that 0 is overloaded, constant "zero" and its type class "zero" are no longer needed. Also IntRingDefs is redundant

paulson [Tue, 23 May 2000 18:06:22 +0200] rev 8935

added type constraint ::nat because 0 is now overloaded

paulson [Tue, 23 May 2000 12:44:03 +0200] rev 8934

theory file NatSum.thy no longer needed new files for the Allocator: AllocBase.{thy,ML}

paulson [Tue, 23 May 2000 12:36:36 +0200] rev 8933

theory file NatSum.thy no longer needed

paulson [Tue, 23 May 2000 12:35:57 +0200] rev 8932

Sums of geometric series

paulson [Tue, 23 May 2000 12:35:18 +0200] rev 8931

use of AllocBase

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

removal of lessThan; use of AllocBase

isabelle