Mon, 03 Jul 2006 19:33:09 +0200 | wenzelm | obtain_export: Thm.generalize; | changeset | files |
Mon, 03 Jul 2006 19:33:07 +0200 | wenzelm | project_algebra: norm_sort; | changeset | files |
Mon, 03 Jul 2006 17:27:09 +0200 | webertj | comments fixed, minor optimization wrt. certifying terms | changeset | files |