| Thu, 14 Jul 2005 19:28:32 +0200 | wenzelm | added dest_table; | changeset | files |
| Thu, 14 Jul 2005 19:28:31 +0200 | wenzelm | invoke_oracle: do not keep theory value, but theory_ref; | changeset | files |
| Thu, 14 Jul 2005 19:28:29 +0200 | wenzelm | occs no longer infix (structure not open); | changeset | files |
| Thu, 14 Jul 2005 19:28:28 +0200 | wenzelm | NameSpace.dest_table avoids duplicated extern; | changeset | files |