| Mon, 26 Nov 2012 14:43:28 +0100 | wenzelm | tuned command descriptions; | file | diff | annotate |
| Fri, 12 Oct 2012 21:22:35 +0200 | wenzelm | discontinued typedef with alternative name; | file | diff | annotate |
| Fri, 12 Oct 2012 15:08:29 +0200 | wenzelm | discontinued typedef with implicit set_def; | file | diff | annotate |
| Wed, 22 Aug 2012 12:47:49 +0200 | wenzelm | clarified Parse.path vs. Parse.explode -- prefer errors in proper transaction context; | file | diff | annotate |
| Thu, 05 Apr 2012 08:43:31 +0200 | krauss | added timestamps to logging of named thms | file | diff | annotate |
| Wed, 04 Apr 2012 20:09:56 +0200 | Cezary Kaliszyk | HOL/Import typed matches against Isabelle typedef result | file | diff | annotate |
| Sun, 01 Apr 2012 14:50:47 +0200 | Cezary Kaliszyk | Modernized HOL-Import for HOL Light | file | diff | annotate |