| Tue, 11 May 2010 19:19:45 +0200 | hoelzl | Added atLeastAtMost_singleton_iff, atLeastAtMost_singleton' | changeset | files |
| Tue, 11 May 2010 19:21:39 +0200 | hoelzl | Add rules directly to the corresponding class locales instead. | changeset | files |
| Tue, 11 May 2010 19:21:05 +0200 | hoelzl | Removed usage of normalizating locales. | changeset | files |
| Tue, 11 May 2010 21:55:41 -0700 | huffman | speed up some proofs, fixing linarith_split_limit warnings | changeset | files |
| Tue, 11 May 2010 19:38:16 -0700 | huffman | fix some linarith_split_limit warnings | changeset | files |
| Tue, 11 May 2010 19:01:35 -0700 | huffman | include iszero_simps in semiring_norm just once (they are already included in rel_simps) | changeset | files |