| Fri, 14 Feb 2014 14:51:38 +0100 | wenzelm | updated thy_info.dependencies; | changeset | files |
| Fri, 14 Feb 2014 14:44:43 +0100 | wenzelm | tuned message; | changeset | files |
| Fri, 14 Feb 2014 14:39:44 +0100 | wenzelm | more integrity checks of theory names vs. full node names; | changeset | files |
| Sat, 15 Feb 2014 00:11:17 +0100 | kuncar | abstract type must be a type constructor; check it | changeset | files |
| Fri, 14 Feb 2014 18:42:43 +0100 | blanchet | generate proper 'DtRec' indices in 'datatype_new_compat' for the case where some types are duplicated | changeset | files |
| Fri, 14 Feb 2014 17:18:28 +0100 | blanchet | better handling of recursion through functions | changeset | files |
| Fri, 14 Feb 2014 16:22:09 +0100 | blanchet | added examples/tests | changeset | files |