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 |