| Thu, 09 Jan 2014 15:08:24 +0100 | blanchet | strengthen tac w.r.t. lets with tuples | changeset | files |
| Thu, 09 Jan 2014 15:08:05 +0100 | blanchet | use 'prove_sorry' | changeset | files |
| Thu, 09 Jan 2014 15:07:25 +0100 | blanchet | for code equations that coincide with ctr equations, make sure the usr's input is preserved for both | changeset | files |
| Thu, 09 Jan 2014 14:09:44 +0100 | blanchet | made 'datatype_new_compat' work with sort constraints | changeset | files |
| Wed, 08 Jan 2014 18:48:53 +0100 | panny | merge | changeset | files |
| Wed, 08 Jan 2014 17:26:42 +0100 | panny | match order of generated theorems to user input; | changeset | files |
| Wed, 08 Jan 2014 17:00:03 +0100 | kuncar | typo | changeset | files |