| Sat, 15 Feb 2014 21:09:48 +0100 | wenzelm | removed odd comments -- inferred types are shown by Prover IDE; | changeset | files |
| Sat, 15 Feb 2014 18:48:43 +0100 | wenzelm | removed dead code; | changeset | files |
| Sat, 15 Feb 2014 18:28:18 +0100 | wenzelm | more uniform ML keyword markup; | changeset | files |