| Wed, 15 Jul 2009 23:48:21 +0200 | wenzelm | more antiquotations; | file | diff | annotate |
| Thu, 14 Jul 2005 19:28:25 +0200 | wenzelm | removed mk_prodT, mk_not (cf. HOL/hologic.ML); | file | diff | annotate |
| Sat, 11 Jun 2005 22:15:48 +0200 | wenzelm | refer to name spaces values instead of names; | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Sat, 03 Nov 2001 01:41:26 +0100 | wenzelm | GPLed; | file | diff | annotate |
| Tue, 04 Nov 1997 17:12:13 +0100 | wenzelm | HOLCFLogic.ML, contconsts.ML renamed to holcf_logic.ML, cont_consts.ML; | file | diff | annotate |