| Tue, 11 Mar 2014 14:28:39 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 11 Mar 2014 13:58:22 +0100 | wenzelm | tuned comment; | changeset | files |
| Tue, 11 Mar 2014 10:14:45 +0100 | wenzelm | minor performance tuning via fast matching filter; | changeset | files |
| Tue, 11 Mar 2014 17:18:42 +0100 | blanchet | added missing theorems to unfolding set | changeset | files |