Thu, 01 Jul 1999 21:19:45 +0200 | wenzelm | renamed with/APP to of/OF; | changeset | files |
Thu, 01 Jul 1999 17:42:27 +0200 | wenzelm | tuned; | changeset | files |
Thu, 01 Jul 1999 17:41:16 +0200 | wenzelm | fixed backtracking of global_qed; | changeset | files |