isabelle: Changelog

wenzelm [Fri, 07 Mar 2014 11:48:11 +0100] rev 55975

no completion of concealed names;

wenzelm [Fri, 07 Mar 2014 11:46:26 +0100] rev 55974

more official const syntax: avoid educated guessing by Syntax_Phases.decode_term;

wenzelm [Fri, 07 Mar 2014 11:41:25 +0100] rev 55973

tuned whitespace;

wenzelm [Fri, 07 Mar 2014 11:34:41 +0100] rev 55972

removed dead code;

wenzelm [Fri, 07 Mar 2014 10:22:27 +0100] rev 55971

modernized theory setup;

paulson <lp15@cam.ac.uk> [Fri, 07 Mar 2014 15:52:56 +0000] rev 55970

Some new proofs. Tidying up, esp to remove "apply rule".

blanchet [Fri, 07 Mar 2014 14:21:15 +0100] rev 55969

use balanced tuples in 'primcorec'

blanchet [Fri, 07 Mar 2014 14:21:15 +0100] rev 55968

tuning

paulson <lp15@cam.ac.uk> [Fri, 07 Mar 2014 12:35:06 +0000] rev 55967

a few new lemmas

blanchet [Fri, 07 Mar 2014 01:02:21 +0100] rev 55966

balance tuples that represent curried functions

isabelle