| Thu, 11 Aug 2011 10:36:34 +0200 | krauss | eliminated use of recdef | changeset | files |
| Thu, 11 Aug 2011 09:41:21 +0200 | krauss | removed obsolete recdef-related examples | changeset | files |
| Thu, 11 Aug 2011 09:15:45 +0200 | krauss | removed unused material, which does not really belong here | changeset | files |
| Wed, 10 Aug 2011 18:07:32 -0700 | huffman | merged | changeset | files |
| Wed, 10 Aug 2011 18:02:16 -0700 | huffman | avoid warnings about duplicate rules | changeset | files |
| Wed, 10 Aug 2011 17:02:03 -0700 | huffman | follow standard naming scheme for sgn_vec_def | changeset | files |
| Wed, 10 Aug 2011 16:35:50 -0700 | huffman | remove several redundant and unused theorems about derivatives | changeset | files |
| Wed, 10 Aug 2011 15:56:48 -0700 | huffman | remove redundant lemma | changeset | files |