| Fri, 14 Jul 2006 12:18:33 +0200 | wenzelm | simp method: depth_limit; | changeset | files |
| Thu, 13 Jul 2006 17:39:56 +0200 | paulson | "conjecture" must be lower case | changeset | files |
| Thu, 13 Jul 2006 13:42:05 +0200 | wenzelm | tuned insert_list; | changeset | files |
| Thu, 13 Jul 2006 13:42:02 +0200 | wenzelm | Name.context already declares empty names; | changeset | files |
| Thu, 13 Jul 2006 13:42:00 +0200 | wenzelm | strip_abs_eta: proper use of Name.context; | changeset | files |
| Thu, 13 Jul 2006 13:41:57 +0200 | wenzelm | do not export make_context; | changeset | files |
| Thu, 13 Jul 2006 13:41:53 +0200 | wenzelm | removed colon from sym category; | changeset | files |
| Thu, 13 Jul 2006 12:31:00 +0200 | paulson | fix to refl_clause_aux: added occurs check | changeset | files |