Wed, 06 Dec 2000 12:26:26 +0100 tuned;
wenzelm [Wed, 06 Dec 2000 12:26:26 +0100] rev 10604
tuned;
Wed, 06 Dec 2000 11:47:21 +0100 theory file for Numbers section
paulson [Wed, 06 Dec 2000 11:47:21 +0100] rev 10603
theory file for Numbers section
Wed, 06 Dec 2000 11:47:01 +0100 auto generated
paulson [Wed, 06 Dec 2000 11:47:01 +0100] rev 10602
auto generated
Wed, 06 Dec 2000 11:00:23 +0100 auto update
paulson [Wed, 06 Dec 2000 11:00:23 +0100] rev 10601
auto update
Wed, 06 Dec 2000 10:24:44 +0100 deleting the assumption 0<c for div_mult2_eq and mod_mult2_eq and
paulson [Wed, 06 Dec 2000 10:24:44 +0100] rev 10600
deleting the assumption 0<c for div_mult2_eq and mod_mult2_eq and simplifying their proofs
Wed, 06 Dec 2000 10:23:06 +0100 miniscoping of nat_diff_split
paulson [Wed, 06 Dec 2000 10:23:06 +0100] rev 10599
miniscoping of nat_diff_split
Tue, 05 Dec 2000 18:57:40 +0100 new theory Numbers.thy
paulson [Tue, 05 Dec 2000 18:57:40 +0100] rev 10598
new theory Numbers.thy
Tue, 05 Dec 2000 18:56:57 +0100 new package amsfonts
paulson [Tue, 05 Dec 2000 18:56:57 +0100] rev 10597
new package amsfonts
Tue, 05 Dec 2000 18:56:18 +0100 tidying
paulson [Tue, 05 Dec 2000 18:56:18 +0100] rev 10596
tidying
Tue, 05 Dec 2000 18:55:45 +0100 partial numerics section
paulson [Tue, 05 Dec 2000 18:55:45 +0100] rev 10595
partial numerics section
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip