| Sun, 21 Mar 2010 22:13:31 +0100 | wenzelm | Logic.mk_of_sort convenience; | changeset | files |
| Sun, 21 Mar 2010 19:30:19 +0100 | wenzelm | more explicit invented name; | changeset | files |
| Sun, 21 Mar 2010 19:28:25 +0100 | wenzelm | minor renovation of old-style 'axioms' -- make it an alias of iterated 'axiomatization'; | changeset | files |
| Sun, 21 Mar 2010 19:04:46 +0100 | wenzelm | do not open ML structures; | changeset | files |