| Sat, 14 Jun 2008 23:33:43 +0200 | wenzelm | added ~: and ~=; | changeset | files |
| Sat, 14 Jun 2008 23:20:12 +0200 | wenzelm | export subgoal_tac, subgoals_tac, thin_tac; | changeset | files |
| Sat, 14 Jun 2008 23:20:11 +0200 | wenzelm | prove: full Variable.declare_term, including constraints; | changeset | files |