| Wed, 29 Apr 1998 11:14:34 +0200 | wenzelm | adapted to new PureThy.add_axioms_i; | changeset | files |
| Wed, 29 Apr 1998 11:13:22 +0200 | wenzelm | added defaultS: sg -> sort; | changeset | files |
| Wed, 29 Apr 1998 11:11:36 +0200 | wenzelm | added thm, thms; | changeset | files |
| Wed, 29 Apr 1998 11:10:40 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Tue, 28 Apr 1998 13:52:18 +0200 | paulson | new thms, really demos of the final coalgebra theorem | changeset | files |
| Tue, 28 Apr 1998 13:51:39 +0200 | paulson | new thms image_0_left, image_Un_left, etc. | changeset | files |
| Tue, 28 Apr 1998 13:50:41 +0200 | paulson | new thm mult_lt_mono1 | changeset | files |