changeset 23708 | b5eb0b4dd17d |
parent 23465 | 8f8835aac299 |
child 24616 | fac3dd4ade83 |
--- a/src/HOL/PreList.thy Tue Jul 10 17:30:47 2007 +0200 +++ b/src/HOL/PreList.thy Tue Jul 10 17:30:49 2007 +0200 @@ -7,8 +7,7 @@ header {* A Basis for Building the Theory of Lists *} theory PreList -imports Wellfounded_Relations Presburger Relation_Power SAT - FunDef Recdef Extraction +imports Presburger Relation_Power SAT Recdef Extraction Record begin text {* @@ -17,3 +16,4 @@ *} end +