Fri, 28 Sep 2001 20:09:10 +0200 | wenzelm | inductive: no collective atts; | changeset | files |
Fri, 28 Sep 2001 20:08:28 +0200 | wenzelm | oops; | changeset | files |
Fri, 28 Sep 2001 20:08:05 +0200 | wenzelm | tuned; | changeset | files |
Fri, 28 Sep 2001 19:24:25 +0200 | wenzelm | recdef (permissive); | changeset | files |
Fri, 28 Sep 2001 19:23:58 +0200 | wenzelm | *** empty log message *** | changeset | files |
Fri, 28 Sep 2001 19:23:35 +0200 | wenzelm | prove: ``strict'' argument; | changeset | files |
Fri, 28 Sep 2001 19:23:07 +0200 | wenzelm | internal thm numbering with ":" instead of "_"; | changeset | files |