Thu, 08 Jul 1999 18:37:54 +0200 | wenzelm | added export_chain; | changeset | files |
Thu, 08 Jul 1999 18:36:57 +0200 | wenzelm | propp: 'concl' patterns; | changeset | files |
Thu, 08 Jul 1999 18:36:09 +0200 | wenzelm | propp: 'concl' patterns; | changeset | files |