| Sat, 13 Oct 2007 17:16:40 +0200 | wenzelm | Theory.specify_const: added deps argument; | changeset | files |
| Sat, 13 Oct 2007 17:16:39 +0200 | wenzelm | renamed LocalTheory.def to LocalTheory.define; | changeset | files |
| Fri, 12 Oct 2007 22:01:56 +0200 | webertj | typo in comment fixed | changeset | files |