Sat, 15 Mar 2008 08:11:17 +0100 haftmann explicit re-init
Sat, 15 Mar 2008 08:11:16 +0100 haftmann (continued)
Sat, 15 Mar 2008 08:11:15 +0100 haftmann continued localization
Fri, 14 Mar 2008 19:58:01 +0100 nipkow Orders as relations
Fri, 14 Mar 2008 19:57:32 +0100 nipkow Added Order_Relation
Fri, 14 Mar 2008 19:57:12 +0100 nipkow Added lemmas
Fri, 14 Mar 2008 12:18:56 +0100 haftmann restore instead of init
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip