| Fri, 26 Nov 2010 23:49:49 +0100 | haftmann | consider sort constraints for datatype constructors when constructing the empty equation certificate; | changeset | files |
| Fri, 26 Nov 2010 23:49:49 +0100 | haftmann | tuned example | changeset | files |
| Sat, 27 Nov 2010 20:48:06 +0100 | wenzelm | merged | changeset | files |
| Sat, 27 Nov 2010 18:51:15 +0100 | haftmann | updated generated documents | changeset | files |