| Tue, 31 Mar 2009 22:23:33 +0200 | wenzelm | fixed header; | changeset | files |
| Tue, 31 Mar 2009 21:31:23 +0200 | wenzelm | fixed header; | changeset | files |
| Tue, 31 Mar 2009 21:31:04 +0200 | wenzelm | added dest_conjunctions (cf. Logic.dest_conjunctions); | changeset | files |