Sun, 21 Jun 2009 19:09:31 +0200 merged
haftmann [Sun, 21 Jun 2009 19:09:31 +0200] rev 31742
merged
Sun, 21 Jun 2009 15:46:14 +0200 merged
haftmann [Sun, 21 Jun 2009 15:46:14 +0200] rev 31741
merged
Sun, 21 Jun 2009 15:45:57 +0200 discontinued ancient tradition to suffix certain ML module names with "_package"
haftmann [Sun, 21 Jun 2009 15:45:57 +0200] rev 31740
discontinued ancient tradition to suffix certain ML module names with "_package"
Sun, 21 Jun 2009 15:45:42 +0200 removed temporariy workarounds
haftmann [Sun, 21 Jun 2009 15:45:42 +0200] rev 31739
removed temporariy workarounds
Sun, 21 Jun 2009 08:38:58 +0200 discontinued ancient tradition to suffix certain ML module names with "_package"
haftmann [Sun, 21 Jun 2009 08:38:58 +0200] rev 31738
discontinued ancient tradition to suffix certain ML module names with "_package"
Sun, 21 Jun 2009 08:38:58 +0200 simplified names of common datatype types
haftmann [Sun, 21 Jun 2009 08:38:58 +0200] rev 31737
simplified names of common datatype types
Sun, 21 Jun 2009 08:38:57 +0200 more appropriate mk_typerep
haftmann [Sun, 21 Jun 2009 08:38:57 +0200] rev 31736
more appropriate mk_typerep
Sun, 21 Jun 2009 08:38:57 +0200 tuned interface
haftmann [Sun, 21 Jun 2009 08:38:57 +0200] rev 31735
tuned interface
Sun, 21 Jun 2009 23:04:37 +0200 new lemmas
nipkow [Sun, 21 Jun 2009 23:04:37 +0200] rev 31734
new lemmas
Sun, 21 Jun 2009 15:47:41 +0200 fixed NewNumberTheory deps
nipkow [Sun, 21 Jun 2009 15:47:41 +0200] rev 31733
fixed NewNumberTheory deps
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip