| 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 |
| Sun, 21 Mar 2010 17:28:35 +0100 | wenzelm | modernized overloaded definitions; | changeset | files |
| Sun, 21 Mar 2010 17:12:31 +0100 | wenzelm | standard headers; | changeset | files |
| Sun, 21 Mar 2010 16:51:37 +0100 | wenzelm | slightly more uniform definitions -- eliminated old-style meta-equality; | changeset | files |
| Sun, 21 Mar 2010 15:57:40 +0100 | wenzelm | eliminated old constdefs; | changeset | files |
| Sun, 21 Mar 2010 06:59:23 +0100 | haftmann | corrected setup for of_list | changeset | files |