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 |