| Sun, 03 May 2015 17:41:54 +0200 | wenzelm | tuned output; | changeset | files |
| Sun, 03 May 2015 17:36:46 +0200 | wenzelm | tuned output; | changeset | files |
| Sun, 03 May 2015 17:19:27 +0200 | wenzelm | tuned output -- avoid empty quites and extra breaks; | changeset | files |
| Sun, 03 May 2015 16:45:07 +0200 | wenzelm | tuned; | changeset | files |
| 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 |