| Sat, 30 May 2009 12:52:57 +0200 | wenzelm | modernized method setup; | changeset | files |
| Sat, 30 May 2009 11:57:36 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 30 May 2009 11:56:21 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 30 May 2009 08:17:05 +0200 | haftmann | simps with mandatory name prefix | changeset | files |
| Sat, 30 May 2009 08:16:44 +0200 | haftmann | corrected bound/unbounded flag for nat numerals | changeset | files |
| Fri, 29 May 2009 17:27:00 +0200 | haftmann | removed dead theory Relation_Power | changeset | files |
| Thu, 28 May 2009 22:54:57 -0700 | huffman | fix reference to dist_def | changeset | files |