Thu, 18 Feb 2010 23:41:01 +0100 | wenzelm | removed unused Theory_Target.begin; | changeset | files |
Thu, 18 Feb 2010 23:38:33 +0100 | wenzelm | locale: more precise treatment of naming vs. binding; | changeset | files |
Thu, 18 Feb 2010 23:37:43 +0100 | wenzelm | Sign.restore_naming -- slightly more robust; | changeset | files |