| Mon, 20 Jan 2025 12:11:36 +0100 | wenzelm | discontinue special treatment of HOL Light CONJUNCTS: this is better done in Isabelle; | file | diff | annotate |
| Sun, 19 Jan 2025 14:23:13 +0100 | wenzelm | allow to load additional HOL Light files, after "hol.ml"; | file | diff | annotate |
| Sat, 18 Jan 2025 22:41:33 +0100 | wenzelm | clarified patches: avoid duplication; | file | diff | annotate |
| Sat, 18 Jan 2025 22:29:47 +0100 | wenzelm | clarified patches; | file | diff | annotate | base |