| Fri, 02 Jul 2010 17:27:44 +0200 | haftmann | explicit code_datatype declaration prevents multiple instantiations later on | changeset | files |
| Fri, 02 Jul 2010 16:50:53 +0200 | haftmann | refrain from using datatype declaration -- opens chance for quickcheck later on | changeset | files |
| Fri, 02 Jul 2010 16:50:52 +0200 | haftmann | tuned proof | changeset | files |