| Wed, 27 Feb 2002 21:53:54 +0100 | wenzelm | tuned feedback of goal forms; | changeset | files |
| Wed, 27 Feb 2002 21:53:33 +0100 | wenzelm | improved messages; | changeset | files |
| Wed, 27 Feb 2002 21:53:12 +0100 | wenzelm | tuned local goal forms; | changeset | files |
| Wed, 27 Feb 2002 21:52:41 +0100 | wenzelm | 'declare': and_list1; | changeset | files |
| Wed, 27 Feb 2002 19:44:22 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 27 Feb 2002 19:43:55 +0100 | wenzelm | 'using' command; | changeset | files |
| Wed, 27 Feb 2002 19:43:20 +0100 | wenzelm | renamed 'uses' to 'includes'; | changeset | files |