| Wed, 29 Sep 2010 22:23:27 +0200 | blanchet | first step towards a new skolemizer that doesn't require "Eps" | changeset | files |
| Fri, 22 Oct 2010 20:57:33 +0100 | wenzelm | cumulative update of generated files (since bf164c153d10); | changeset | files |
| Fri, 22 Oct 2010 20:51:45 +0100 | wenzelm | removed ML_old.thy, which is largely superseded by ML.thy; | changeset | files |
| Fri, 22 Oct 2010 20:43:48 +0100 | wenzelm | more on "Canonical argument order"; | changeset | files |
| Fri, 22 Oct 2010 19:03:31 +0100 | wenzelm | cover @{Isar.state}; | changeset | files |
| Fri, 22 Oct 2010 16:57:55 +0100 | wenzelm | more on "Style and orthography"; | changeset | files |