Tue, 28 Jul 2015 20:07:05 +0200 | wenzelm | clarified context; | changeset | files |
Tue, 28 Jul 2015 20:05:53 +0200 | wenzelm | proper context; | changeset | files |
Tue, 28 Jul 2015 19:49:54 +0200 | wenzelm | more direct access to atomic cterms; | changeset | files |