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 |