Wed, 30 Jun 2010 16:28:14 +0200 more speaking theory names
haftmann [Wed, 30 Jun 2010 16:28:14 +0200] rev 37655
more speaking theory names
Wed, 30 Jun 2010 16:28:13 +0200 use existing bit type from theory Bit
haftmann [Wed, 30 Jun 2010 16:28:13 +0200] rev 37654
use existing bit type from theory Bit
Wed, 30 Jun 2010 16:28:13 +0200 split off Cardinality from Numeral_Type
haftmann [Wed, 30 Jun 2010 16:28:13 +0200] rev 37653
split off Cardinality from Numeral_Type
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip