isabelle: Changelog

wenzelm [Wed, 24 May 2000 18:19:04 +0200] rev 8947

tuned;

wenzelm [Wed, 24 May 2000 18:04:20 +0200] rev 8946

"done" command;

wenzelm [Wed, 24 May 2000 13:16:01 +0200] rev 8945

fixed index;

paulson [Wed, 24 May 2000 12:21:26 +0200] rev 8944

restored NatSum.thy

paulson [Tue, 23 May 2000 18:29:17 +0200] rev 8943

now 0 is overloaded

paulson [Tue, 23 May 2000 18:28:11 +0200] rev 8942

added type constraint ::nat because 0 is now overloaded

paulson [Tue, 23 May 2000 18:24:48 +0200] rev 8941

IntRingDefs is now redundant

paulson [Tue, 23 May 2000 18:22:19 +0200] rev 8940

new type class "zero" so that 0 can be overloaded

paulson [Tue, 23 May 2000 18:21:51 +0200] rev 8939

finally sum_below is overloaded properly

paulson [Tue, 23 May 2000 18:19:06 +0200] rev 8938

Multisets have a zero: the empty multiset

isabelle