| Sun, 03 May 2015 16:44:38 +0200 | wenzelm | suppress formal sort-constraints, in accordance to norm_hhf_eqs; | changeset | files |
| 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 |