| Fri, 01 Oct 1999 20:36:53 +0200 | wenzelm | The 'obtain' language element -- achieves (eliminated) existential | changeset | files |
| Fri, 01 Oct 1999 18:36:12 +0200 | wenzelm | added undef_global_attribute, undef_local_attribute; | changeset | files |
| Fri, 01 Oct 1999 10:23:13 +0200 | berghofe | - Fixed bug in mk_split_pack which caused application of expansion theorem | changeset | files |