| Mon, 24 Mar 2014 16:06:55 +0100 | wenzelm | formal check of user input, avoiding direct references of interal names; | file | diff | annotate |
| Fri, 23 Aug 2013 20:53:00 +0200 | wenzelm | more standard parser combinator expressions and tool setup; | file | diff | annotate |
| Fri, 23 Aug 2013 20:35:50 +0200 | wenzelm | added Theory.setup convenience; | file | diff | annotate |
| Mon, 26 Nov 2012 14:43:28 +0100 | wenzelm | tuned command descriptions; | file | diff | annotate |
| Sun, 01 Apr 2012 14:50:47 +0200 | Cezary Kaliszyk | Modernized HOL-Import for HOL Light | file | diff | annotate |