| Mon, 31 Jul 2000 14:37:18 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 31 Jul 2000 14:33:40 +0200 | wenzelm | updated 'obtain'; | changeset | files |
| Mon, 31 Jul 2000 12:50:33 +0200 | nipkow | Removed Quot | changeset | files |
| Mon, 31 Jul 2000 12:33:26 +0200 | nipkow | Never used and not relevant. | changeset | files |
| Sun, 30 Jul 2000 13:06:20 +0200 | wenzelm | obtain; | changeset | files |
| Sun, 30 Jul 2000 13:04:58 +0200 | wenzelm | added split_bind_asm, bind_splits; | changeset | files |
| Sun, 30 Jul 2000 13:03:49 +0200 | wenzelm | adapted obtain; | changeset | files |
| Sun, 30 Jul 2000 13:02:56 +0200 | wenzelm | removed equalityCE; | changeset | files |
| Sun, 30 Jul 2000 13:02:14 +0200 | wenzelm | added atomic_Trueprop; | changeset | files |
| Sun, 30 Jul 2000 13:01:50 +0200 | wenzelm | updated ObtainFun; | changeset | files |
| Sun, 30 Jul 2000 13:01:09 +0200 | wenzelm | 'def': no constraint on variable; | changeset | files |
| Sun, 30 Jul 2000 12:56:14 +0200 | wenzelm | exporter setup for context elements; | changeset | files |