| 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 |
| Sat, 13 Mar 2010 14:42:16 +0100 | wenzelm | localized typedef; | changeset | files |
| Sat, 13 Mar 2010 14:41:37 +0100 | wenzelm | added typedecl_wrt, which affects default sorts of type args; | changeset | files |
| Sat, 13 Mar 2010 14:41:14 +0100 | wenzelm | Local_Defs.contract convenience; | changeset | files |
| Sat, 13 Mar 2010 14:40:36 +0100 | wenzelm | added Local_Theory.alias operations (independent of target); | changeset | files |
| Thu, 11 Mar 2010 23:47:16 +0100 | wenzelm | merged | changeset | files |