Thu, 30 Jun 2011 19:24:09 +0200 | wenzelm | more general theory header parsing; | changeset | files |
Thu, 30 Jun 2011 16:50:26 +0200 | wenzelm | back to sequential merge_data, reverting 741373421318 (NB: expensive Parser.merge_gram is already asynchronous since 3daff3cc2214); | changeset | files |
Thu, 30 Jun 2011 16:07:30 +0200 | wenzelm | merged | changeset | files |
Thu, 30 Jun 2011 10:15:46 +0200 | krauss | parse term in auxiliary context augmented with variable; | changeset | files |
Wed, 29 Jun 2011 11:58:35 +0200 | boehmes | linarith counterexamples now provide only valuations for variables (which should restrict the number of linarith trace messages); | changeset | files |
Thu, 30 Jun 2011 14:55:01 +0200 | wenzelm | prefer Isabelle path algebra; | changeset | files |
Thu, 30 Jun 2011 14:51:32 +0200 | wenzelm | proper fold order; | changeset | files |