2005-11-16 paulson [Wed, 16 Nov 2005 15:29:23 +0100] rev 18175
new version of "tryres" allowing multiple unifiers (apparently needed for
Skolemization of higher-order theorems)
src/HOL/Tools/meson.ML

2005-11-16 wenzelm [Wed, 16 Nov 2005 14:05:41 +0100] rev 18174
pgmlsymbolson: append Symbol.xsymbolsN at end!
src/Pure/proof_general.ML

2005-11-15 wenzelm [Tue, 15 Nov 2005 14:08:32 +0100] rev 18173
better no -d option;
Admin/mirror-website

2005-11-15 haftmann [Tue, 15 Nov 2005 10:11:52 +0100] rev 18172
added generic transformators
src/Pure/Tools/codegen_thingol.ML

2005-11-14 paulson [Mon, 14 Nov 2005 18:25:34 +0100] rev 18171
removal of is_hol
src/FOL/blastdata.ML src/HOL/blastdata.ML src/Provers/blast.ML

2005-11-14 haftmann [Mon, 14 Nov 2005 16:26:40 +0100] rev 18170
added module system
src/Pure/Tools/codegen_thingol.ML

2005-11-14 haftmann [Mon, 14 Nov 2005 15:23:33 +0100] rev 18169
added modules for code generator generation two, not operational yet
src/Pure/IsaMakefile src/Pure/ROOT.ML src/Pure/Tools/ROOT.ML src/Pure/Tools/codegen_package.ML src/Pure/Tools/codegen_serializer.ML src/Pure/Tools/codegen_thingol.ML

2005-11-14 haftmann [Mon, 14 Nov 2005 15:15:34 +0100] rev 18168
class_package - operational view on type classes
src/Pure/Tools/class_package.ML

2005-11-14 haftmann [Mon, 14 Nov 2005 15:15:07 +0100] rev 18167
string_of_alist - convenient q'n'd printout function
src/Pure/General/alist.ML

2005-11-14 wenzelm [Mon, 14 Nov 2005 15:14:59 +0100] rev 18166
support for polyml-4.2.0;
lib/scripts/run-polyml