Sat, 30 Sep 2006 21:39:17 +0200 | wenzelm | renamed Variable.invent_fixes to Variable.variant_fixes; | file | diff | annotate |
Fri, 15 Sep 2006 22:56:08 +0200 | wenzelm | tuned; | file | diff | annotate |
Thu, 14 Sep 2006 22:48:37 +0200 | wenzelm | more on theorems; | file | diff | annotate |