| Wed, 27 Aug 2008 20:36:23 +0200 | wenzelm | replaced find_substring by first_field; | changeset | files |
| Wed, 27 Aug 2008 17:54:31 +0200 | ballarin | Consistent naming of theorems in interpretation. | changeset | files |
| Wed, 27 Aug 2008 16:32:48 +0200 | wenzelm | simplified parse_attrib (find_substring instead of space_explode); | changeset | files |