| Tue, 07 Aug 2007 20:19:48 +0200 | wenzelm | theory loader: added use_thys, removed obsolete update_thy; | changeset | files |
| Tue, 07 Aug 2007 17:01:35 +0200 | krauss | Issue a warning, when "function" encounters variables occuring in function position, | changeset | files |
| Tue, 07 Aug 2007 15:20:24 +0200 | krauss | more error handling | changeset | files |