| Sat, 13 Mar 2010 15:12:17 +0100 | wenzelm | removed obsolete HOL 'typedecl'; | changeset | files |
| Sat, 13 Mar 2010 14:44:47 +0100 | wenzelm | adapted to localized typedef: handle single global interpretation only; | changeset | files |
| Sat, 13 Mar 2010 14:43:04 +0100 | wenzelm | global typedef; | changeset | files |