Wed, 19 Sep 2012 12:11:09 +0200 | wenzelm | merged | changeset | files |
Wed, 19 Sep 2012 10:57:44 +0200 | bulwahn | recording elapsed time in mutabelle for more detailed evaluation | changeset | files |
Tue, 18 Sep 2012 14:13:58 +0200 | popescua | Added missing predicators (for multisets and countable sets) | changeset | files |
Tue, 18 Sep 2012 13:38:10 +0200 | popescua | added top-level theory for Cardinals | changeset | files |
Tue, 18 Sep 2012 11:42:22 +0200 | blanchet | group "simps" together | changeset | files |
Tue, 18 Sep 2012 11:42:11 +0200 | blanchet | register induct attributes | changeset | files |