| Sun, 03 May 2015 14:35:48 +0200 | wenzelm | make SML/NJ more happy; | changeset | files |
| Sun, 03 May 2015 14:12:10 +0200 | wenzelm | tuned message; | changeset | files |
| Sat, 02 May 2015 13:58:06 +0200 | kuncar | add testing file for code_dt extension of lifting | changeset | files |
| Sat, 02 May 2015 13:58:06 +0200 | kuncar | handle error messages also in after_qed | changeset | files |
| Sat, 02 May 2015 13:58:06 +0200 | kuncar | reorder some steps in the construction to support mutual datatypes | changeset | files |
| Sat, 02 May 2015 13:58:06 +0200 | kuncar | more readable error message if some types do not correspond to sort constraints of the datatype | changeset | files |
| Sat, 02 May 2015 13:58:06 +0200 | kuncar | better precomputing | changeset | files |
| Sat, 02 May 2015 13:58:06 +0200 | kuncar | equivalence in code_dt data structure must respect both rty and qty | changeset | files |