| Tue, 10 Mar 2009 21:20:01 +0100 | wenzelm | explicit root_path, parent_path; | changeset | files |
| Tue, 10 Mar 2009 21:19:22 +0100 | wenzelm | removed obsolete no_base_names; | changeset | files |
| Tue, 10 Mar 2009 21:18:52 +0100 | wenzelm | invoke_case: proper qualification of name binding, avoiding old no_base_names; | changeset | files |
| Tue, 10 Mar 2009 21:18:01 +0100 | wenzelm | add_path: discontinued special meaning of "//", "/", ".."; | changeset | files |
| Tue, 10 Mar 2009 18:52:26 +0100 | wenzelm | merged | changeset | files |
| Tue, 10 Mar 2009 17:39:18 +0000 | webertj | Automated merge with ssh://webertj@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle | changeset | files |
| Tue, 10 Mar 2009 17:39:06 +0000 | webertj | Instead of giving up entirely, arith now ignores all inequalities when there are too many. | changeset | files |
| Tue, 10 Mar 2009 17:54:49 +0100 | wenzelm | merged | changeset | files |