| Fri, 21 Feb 2014 21:08:03 +0100 | wenzelm | more standard theory name; | changeset | files |
| Fri, 21 Feb 2014 20:54:13 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 21 Feb 2014 20:47:48 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 21 Feb 2014 20:37:13 +0100 | wenzelm | proper ML structure with signature; | changeset | files |
| Fri, 21 Feb 2014 20:29:33 +0100 | wenzelm | reduced ML warnings; | changeset | files |
| Fri, 21 Feb 2014 19:20:26 +0100 | haftmann | simultaneous mapping of strongly connected components | changeset | files |
| Fri, 21 Feb 2014 19:20:24 +0100 | haftmann | dropped dead code | changeset | files |