Mon, 16 Jun 2008 17:54:35 +0200 | wenzelm | eliminated OldGoals.inst; | changeset | files |
Mon, 16 Jun 2008 14:18:55 +0200 | wenzelm | updated generated file; | changeset | files |
Mon, 16 Jun 2008 14:18:45 +0200 | wenzelm | method "tactic": only "facts" as bound value; | changeset | files |