Fri, 09 Jan 2004 10:46:18 +0100 | paulson | Defining the type class "ringpower" and deleting superseded theorems for | changeset | files |
Fri, 09 Jan 2004 01:28:24 +0100 | kleing | set isasep to {} by default | changeset | files |
Thu, 08 Jan 2004 16:35:46 +0100 | skalberg | Added lazy sequences and parser combinators for same. | changeset | files |
Thu, 08 Jan 2004 08:14:00 +0100 | kleing | separate thm lists in latex output by \isasep | changeset | files |
Thu, 08 Jan 2004 04:32:52 +0100 | kleing | run makeindex if necessary | changeset | files |
Wed, 07 Jan 2004 07:52:12 +0100 | kleing | map_idI | changeset | files |