wenzelm [Tue, 09 Apr 2013 13:55:28 +0200] rev 51657
more accurate documentation of "(structure)" mixfix;
wenzelm [Tue, 09 Apr 2013 13:24:00 +0200] rev 51656
more robust static structure reference, avoid dynamic Proof_Context.intern_skolem in Syntax_Phases.decode_term;
wenzelm [Tue, 09 Apr 2013 13:20:09 +0200] rev 51655
tuned comment;
wenzelm [Tue, 09 Apr 2013 12:56:26 +0200] rev 51654
just one syntax category "mixfix" -- check structure annotation semantically;
wenzelm [Tue, 09 Apr 2013 12:29:36 +0200] rev 51653
tuned message;
blanchet [Tue, 09 Apr 2013 16:32:04 +0200] rev 51652
handle case clashes on Mac file system by encoding goal numbers
blanchet [Tue, 09 Apr 2013 15:19:14 +0200] rev 51651
avoid duplicate "tcon_" names
blanchet [Tue, 09 Apr 2013 15:19:14 +0200] rev 51650
smoothly handle cyclic graphs
blanchet [Tue, 09 Apr 2013 15:19:14 +0200] rev 51649
compile + fixed naming convention
blanchet [Tue, 09 Apr 2013 15:19:14 +0200] rev 51648
reverted accidental changes to theory file + updated wrt ML file