| Wed, 12 May 2010 12:51:32 +0200 | wenzelm | merged | changeset | files |
| Wed, 12 May 2010 12:20:16 +0200 | haftmann | merged | changeset | files |
| Wed, 12 May 2010 12:09:28 +0200 | haftmann | modernized specifications; tuned reification | changeset | files |
| Wed, 12 May 2010 11:18:42 +0200 | haftmann | merged | changeset | files |
| Wed, 12 May 2010 11:17:59 +0200 | haftmann | added lemmas concerning last, butlast, insort | changeset | files |
| Wed, 12 May 2010 11:30:18 +0200 | Cezary Kaliszyk | Remove RANGE_WARN | changeset | files |
| Wed, 12 May 2010 11:13:33 +0200 | hoelzl | clarified NEWS entry | changeset | files |
| Wed, 12 May 2010 11:08:15 +0200 | hoelzl | merged | changeset | files |
| Wed, 12 May 2010 11:07:46 +0200 | hoelzl | added NEWS entry | changeset | files |
| 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 |