| Sun, 15 Nov 2009 20:39:22 +0100 | wenzelm | primitive defs: clarified def (axiom name) vs. description; | changeset | files |
| Sun, 15 Nov 2009 19:45:05 +0100 | wenzelm | eliminated obsolete thm position tags; | changeset | files |
| Sun, 15 Nov 2009 19:44:29 +0100 | wenzelm | permissive AList.merge -- most likely setup for theory data (beware of spurious AList.DUP); | changeset | files |