Thu, 25 Jun 2015 21:45:00 +0200 | wenzelm | added method "goals" for proper subgoal cases; | changeset | files |
Thu, 25 Jun 2015 16:56:04 +0200 | wenzelm | tuned signature; | changeset | files |
Thu, 25 Jun 2015 16:14:00 +0200 | wenzelm | tuned signature; | changeset | files |