Wed, 22 Sep 1999 21:49:37 +0200 | wenzelm | thms_containing: single writeln; | changeset | files |
Wed, 22 Sep 1999 21:45:35 +0200 | wenzelm | tuned pretty_thms; | changeset | files |
Wed, 22 Sep 1999 21:45:05 +0200 | wenzelm | added thms_containing; | changeset | files |
Wed, 22 Sep 1999 21:04:55 +0200 | wenzelm | qed ""; | changeset | files |
Wed, 22 Sep 1999 21:04:34 +0200 | wenzelm | proper theory setup for Real/ex/BinEx; | changeset | files |
Wed, 22 Sep 1999 21:02:59 +0200 | wenzelm | tuned; | changeset | files |
Wed, 22 Sep 1999 21:02:32 +0200 | wenzelm | improved output; | changeset | files |