| Sat, 13 Oct 2007 17:16:44 +0200 | wenzelm | (un)overload: full rewrite; | changeset | files |
| Sat, 13 Oct 2007 17:16:42 +0200 | wenzelm | add_abbrevs: unvarify result; | changeset | files |
| Sat, 13 Oct 2007 17:16:41 +0200 | wenzelm | replaced obsolete Theory.add_finals_i by Theory.add_deps; | changeset | files |
| 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 |