| Thu, 08 Jul 1999 18:29:30 +0200 | wenzelm | added commute: 'a seq list -> 'a list seq; | changeset | files |
| Thu, 08 Jul 1999 18:29:07 +0200 | wenzelm | added pretty_thm_no_hyps; | changeset | files |
| Thu, 08 Jul 1999 18:28:02 +0200 | wenzelm | theorems involving oracles are now printed with a suffixed [!]; | changeset | files |