isabelle: Changelog

wenzelm [Tue, 17 Jul 2007 15:59:50 +0200] rev 23830

use /usr/proj/polyml/polyml-5.1-test, which might be more stable;

krauss [Tue, 17 Jul 2007 14:38:00 +0200] rev 23829

reverted fun->recdef, since there are problems with induction rule

wenzelm [Tue, 17 Jul 2007 13:19:47 +0200] rev 23828

Pure theory setup.

wenzelm [Tue, 17 Jul 2007 13:19:39 +0200] rev 23827

Generic print mode.

wenzelm [Tue, 17 Jul 2007 13:19:21 +0200] rev 23826

moved cd/pwd to ML compatibility layer (simplifies bootstrapping with Alice);

wenzelm [Tue, 17 Jul 2007 13:19:20 +0200] rev 23825

simplified loading of ML files -- no static forward references;

wenzelm [Tue, 17 Jul 2007 13:19:19 +0200] rev 23824

moved print_translations from Pure.thy to Syntax/syn_trans.ML;

wenzelm [Tue, 17 Jul 2007 13:19:18 +0200] rev 23823

added General/print_mode.ML, pure_setup.ML;

wenzelm [Tue, 17 Jul 2007 13:19:17 +0200] rev 23822

tuned specifications;

krauss [Mon, 16 Jul 2007 21:39:56 +0200] rev 23821

use function package

isabelle