| changeset 26345 | f70620a4cf81 |
| parent 26299 | 2f387f5c0f52 |
| child 26435 | bdce320cd426 |
--- a/src/Pure/Isar/locale.ML Thu Mar 20 00:20:48 2008 +0100 +++ b/src/Pure/Isar/locale.ML Thu Mar 20 00:20:49 2008 +0100 @@ -1407,7 +1407,7 @@ in -fun read_facts x = prep_facts check_name ProofContext.get_thms Attrib.intern_src x; +fun read_facts x = prep_facts check_name ProofContext.get_fact Attrib.intern_src x; fun cert_facts x = prep_facts I (K I) (K I) x; end;