| Wed, 08 Aug 2001 14:52:10 +0200 | paulson | Hilbert_Choice is needed only in Main itself | changeset | files |
| Wed, 08 Aug 2001 14:51:30 +0200 | paulson | Main is the proper parent of IOA | changeset | files |
| Wed, 08 Aug 2001 14:51:10 +0200 | paulson | get it working again using Hilbert_Choice | changeset | files |
| Wed, 08 Aug 2001 14:50:28 +0200 | paulson | Getting it working again with 1' instead of 1 | changeset | files |