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 |