| Fri, 24 Jul 2009 22:59:08 +0200 | wenzelm | more antiquotations instead of adhoc ML stuff; | changeset | files |
| Fri, 24 Jul 2009 22:31:27 +0200 | wenzelm | ML_Context.the_local_context; | changeset | files |
| Fri, 24 Jul 2009 22:17:32 +0200 | wenzelm | eliminated the_context; | changeset | files |
| Fri, 24 Jul 2009 22:09:09 +0200 | wenzelm | do not open OldGoals; | changeset | files |
| Fri, 24 Jul 2009 21:34:37 +0200 | wenzelm | renamed functor SplitterFun to Splitter, require explicit theory; | changeset | files |
| Fri, 24 Jul 2009 21:21:45 +0200 | wenzelm | renamed functor BlastFun to Blast, require explicit theory; | changeset | files |
| Fri, 24 Jul 2009 21:18:05 +0200 | wenzelm | eliminated OldGoals.prove_goal; | changeset | files |
| Fri, 24 Jul 2009 21:02:34 +0200 | wenzelm | explicit OldGoals; | changeset | files |