Wed, 21 Nov 2012 12:11:21 +0100 | immler | capitalize lowercase groups; | changeset | files |
Wed, 21 Nov 2012 15:52:44 +0100 | wenzelm | merged | changeset | files |
Wed, 21 Nov 2012 15:50:54 +0100 | wenzelm | more generous timeout for SML/NJ, which is approx. 40-80 times slower than Poly/ML; | changeset | files |
Wed, 21 Nov 2012 15:47:55 +0100 | hoelzl | Countable_Set: tuned lemma names; more generic lemmas | changeset | files |