| 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 |
| Wed, 27 Aug 2008 11:48:54 +0200 | wenzelm | type Properties.T; | changeset | files |
| Wed, 27 Aug 2008 11:24:35 +0200 | haftmann | proper error message | changeset | files |