| 2005-07-14 | wenzelm | removed mk_prodT, mk_not (cf. HOL/hologic.ML); | file | diff | annotate |
| 2005-06-11 | wenzelm | refer to name spaces values instead of names; | file | diff | annotate |
| 2004-06-21 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| 2001-11-03 | wenzelm | GPLed; | file | diff | annotate |
| 1997-11-04 | wenzelm | HOLCFLogic.ML, contconsts.ML renamed to holcf_logic.ML, cont_consts.ML; | file | diff | annotate |