2007-07-17 agomoved print_translations from Pure.thy to Syntax/syn_trans.ML;
wenzelm [Tue, 17 Jul 2007 13:19:19 +0200] rev 23824
moved print_translations from Pure.thy to Syntax/syn_trans.ML;

2007-07-17 agoadded General/print_mode.ML, pure_setup.ML;
wenzelm [Tue, 17 Jul 2007 13:19:18 +0200] rev 23823
added General/print_mode.ML, pure_setup.ML;

2007-07-17 agotuned specifications;
wenzelm [Tue, 17 Jul 2007 13:19:17 +0200] rev 23822
tuned specifications;

2007-07-16 agouse function package
krauss [Mon, 16 Jul 2007 21:39:56 +0200] rev 23821
use function package

2007-07-16 agomore proofs
krauss [Mon, 16 Jul 2007 21:26:35 +0200] rev 23820
more proofs

2007-07-16 agosome interface cleanup
krauss [Mon, 16 Jul 2007 21:22:43 +0200] rev 23819
some interface cleanup

2007-07-16 agoadded lemma binding: accpI = accp.accI
krauss [Mon, 16 Jul 2007 21:17:12 +0200] rev 23818
added lemma binding: accpI = accp.accI

2007-07-16 agoupdated
krauss [Mon, 16 Jul 2007 21:16:16 +0200] rev 23817
updated

2007-07-16 agotidied using sledgehammer
paulson [Mon, 16 Jul 2007 19:18:23 +0200] rev 23816
tidied using sledgehammer

2007-07-16 agotidied
paulson [Mon, 16 Jul 2007 19:11:37 +0200] rev 23815
tidied