| Mon, 04 Apr 2016 15:53:56 +0200 | wenzelm | clarified final setup of ML environment; | changeset | files |
| Mon, 04 Apr 2016 15:35:24 +0200 | wenzelm | clarified modules; | changeset | files |
| Mon, 04 Apr 2016 14:53:30 +0200 | wenzelm | avoid duplicate reports; | changeset | files |
| Mon, 04 Apr 2016 16:52:56 +0100 | paulson | Mostly renaming (from HOL Light to Isabelle conventions), with a couple of new results | changeset | files |