| 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 |
| Wed, 27 Aug 2008 16:32:18 +0200 | wenzelm | added find_substring; | changeset | files |
| Wed, 27 Aug 2008 12:01:59 +0200 | haftmann | added HOL/ex/Numeral.thy | changeset | files |
| Wed, 27 Aug 2008 12:00:28 +0200 | wenzelm | get rid of tabs; | changeset | files |
| Wed, 27 Aug 2008 11:49:50 +0200 | wenzelm | Property lists. | changeset | files |
| Wed, 27 Aug 2008 11:49:14 +0200 | wenzelm | added General/properties.ML; | changeset | files |