| Tue, 28 Jul 2015 21:47:03 +0200 | wenzelm | more explicit context; | changeset | files |
| Tue, 28 Jul 2015 21:31:16 +0200 | wenzelm | eliminated dead code; | changeset | files |
| Tue, 28 Jul 2015 21:10:41 +0200 | wenzelm | clarified Variable.gen_all; | changeset | files |
| Tue, 28 Jul 2015 20:59:39 +0200 | wenzelm | more explicit context; | changeset | files |
| Tue, 28 Jul 2015 20:15:19 +0200 | wenzelm | more direct access to atomic cterms; | changeset | files |
| Tue, 28 Jul 2015 20:07:05 +0200 | wenzelm | clarified context; | changeset | files |