Mon, 15 Mar 2010 17:52:31 +0100 | Christian Urban | another synchronisation | changeset | files |
Mon, 15 Mar 2010 17:51:35 +0100 | Christian Urban | proof for support when bn-function is present, but fb_function is empty | changeset | files |
Mon, 15 Mar 2010 17:42:17 +0100 | Cezary Kaliszyk | fv_eqvt_cheat no longer needed. | changeset | files |
Mon, 15 Mar 2010 14:32:05 +0100 | Cezary Kaliszyk | derive "inducts" from "induct" instead of lifting again is much faster. | changeset | files |