Fri, 13 Mar 2009 23:32:40 +0100 simplified goal_spec: default to first goal;
wenzelm [Fri, 13 Mar 2009 23:32:40 +0100] rev 30514
simplified goal_spec: default to first goal;
Fri, 13 Mar 2009 21:25:15 +0100 eliminated type Args.T;
wenzelm [Fri, 13 Mar 2009 21:25:15 +0100] rev 30513
eliminated type Args.T; pervasive types 'a parser and 'a context_parser;
Fri, 13 Mar 2009 21:24:21 +0100 added simplified setup;
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;
Fri, 13 Mar 2009 21:22:45 +0100 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;
Fri, 13 Mar 2009 19:58:26 +0100 unified type Proof.method and pervasive METHOD combinators;
wenzelm [Fri, 13 Mar 2009 19:58:26 +0100] rev 30510
unified type Proof.method and pervasive METHOD combinators;
Fri, 13 Mar 2009 19:53:09 +0100 more regular method setup via SIMPLE_METHOD;
wenzelm [Fri, 13 Mar 2009 19:53:09 +0100] rev 30509
more regular method setup via SIMPLE_METHOD;
Fri, 13 Mar 2009 19:10:46 +0100 tuned Method exports: non-pervasive type method (cf. Proof.method), pervasive METHOD combinators;
wenzelm [Fri, 13 Mar 2009 19:10:46 +0100] rev 30508
tuned Method exports: non-pervasive type method (cf. Proof.method), pervasive METHOD combinators;
Fri, 13 Mar 2009 15:52:23 +0100 merged
wenzelm [Fri, 13 Mar 2009 15:52:23 +0100] rev 30507
merged
Fri, 13 Mar 2009 07:35:18 -0700 fix typed print translation for CARD('a)
huffman [Fri, 13 Mar 2009 07:35:18 -0700] rev 30506
fix typed print translation for CARD('a)
Fri, 13 Mar 2009 07:30:47 -0700 introduce new helper functions; clean up proofs
huffman [Fri, 13 Mar 2009 07:30:47 -0700] rev 30505
introduce new helper functions; clean up proofs
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip