wenzelm [Fri, 13 Mar 2009 21:25:15 +0100] rev 30513
eliminated type Args.T;
pervasive types 'a parser and 'a context_parser;
wenzelm [Fri, 13 Mar 2009 21:24:21 +0100] rev 30512
added simplified setup;
eliminated type Args.T;
pervasive types 'a parser and 'a context_parser;
wenzelm [Fri, 13 Mar 2009 21:22:45 +0100] rev 30511
pervasive types 'a parser and 'a context_parser;
wenzelm [Fri, 13 Mar 2009 19:58:26 +0100] rev 30510
unified type Proof.method and pervasive METHOD combinators;
wenzelm [Fri, 13 Mar 2009 19:53:09 +0100] rev 30509
more regular method setup via SIMPLE_METHOD;
wenzelm [Fri, 13 Mar 2009 19:10:46 +0100] rev 30508
tuned Method exports: non-pervasive type method (cf. Proof.method), pervasive METHOD combinators;
wenzelm [Fri, 13 Mar 2009 15:52:23 +0100] rev 30507
merged
huffman [Fri, 13 Mar 2009 07:35:18 -0700] rev 30506
fix typed print translation for CARD('a)
huffman [Fri, 13 Mar 2009 07:30:47 -0700] rev 30505
introduce new helper functions; clean up proofs
nipkow [Fri, 13 Mar 2009 13:06:36 +0100] rev 30504
merged