2000-12-06 auto generated
paulson [Wed, 06 Dec 2000 11:47:01 +0100] rev 10602
auto generated
2000-12-06 auto update
paulson [Wed, 06 Dec 2000 11:00:23 +0100] rev 10601
auto update
2000-12-06 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
2000-12-06 miniscoping of nat_diff_split
paulson [Wed, 06 Dec 2000 10:23:06 +0100] rev 10599
miniscoping of nat_diff_split
2000-12-05 new theory Numbers.thy
paulson [Tue, 05 Dec 2000 18:57:40 +0100] rev 10598
new theory Numbers.thy
2000-12-05 new package amsfonts
paulson [Tue, 05 Dec 2000 18:56:57 +0100] rev 10597
new package amsfonts
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip