| Tue, 06 Mar 2007 16:17:52 +0100 | urbanc | updated this file to the new infrastructure | changeset | files |
| Tue, 06 Mar 2007 15:49:25 +0100 | krauss | fixed function package bug in the handling of multiple guards | changeset | files |
| Tue, 06 Mar 2007 15:28:22 +0100 | urbanc | major update of the nominal package; there is now an infrastructure | changeset | files |
| Tue, 06 Mar 2007 08:09:43 +0100 | kleing | fix wrong default for find_theorems | changeset | files |
| Tue, 06 Mar 2007 05:32:14 +0100 | kleing | document find_theorems syntax change | changeset | files |
| Tue, 06 Mar 2007 05:31:23 +0100 | kleing | find_theorems: moved with_dup into the brackets, i.e. | changeset | files |
| Tue, 06 Mar 2007 05:09:53 +0100 | kleing | an O(n log n) version of removing duplicates | changeset | files |