| Thu, 13 Apr 2006 12:00:58 +0200 | wenzelm | tuned comment; | changeset | files |
| Thu, 13 Apr 2006 12:00:56 +0200 | wenzelm | ignore sorts of consts declarations; | changeset | files |
| Thu, 13 Apr 2006 12:00:55 +0200 | wenzelm | reworded add_axclass(_i): canonical specification format, | changeset | files |
| Thu, 13 Apr 2006 12:00:54 +0200 | wenzelm | added conjunction.ML; | changeset | files |
| Thu, 13 Apr 2006 12:00:53 +0200 | wenzelm | Meta-level conjunction. | changeset | files |
| Thu, 13 Apr 2006 12:00:51 +0200 | wenzelm | added conjunction.ML; | changeset | files |
| Thu, 13 Apr 2006 12:00:50 +0200 | wenzelm | Sign.typ_equiv; | changeset | files |