| Sat, 22 Feb 2014 17:13:30 +0100 | wenzelm | removed dead code; | changeset | files |
| Sat, 22 Feb 2014 16:58:02 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 22 Feb 2014 16:16:21 +0100 | wenzelm | NEWS; | changeset | files |
| Sat, 22 Feb 2014 16:11:23 +0100 | wenzelm | tuned comment; | changeset | files |
| Sat, 22 Feb 2014 15:07:33 +0100 | wenzelm | refined language context: antiquotes; | changeset | files |
| Fri, 21 Feb 2014 23:42:43 +0100 | wenzelm | tuned proofs; | changeset | files |
| Fri, 21 Feb 2014 21:27:55 +0100 | wenzelm | merged | changeset | files |
| 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 |
| Fri, 21 Feb 2014 18:23:11 +0100 | wenzelm | more symbols; | changeset | files |
| Fri, 21 Feb 2014 17:06:48 +0100 | wenzelm | merged | changeset | files |