author | haftmann |
Fri, 10 Sep 2010 09:56:28 +0200 | |
changeset 39271 | 436554f1beaa |
parent 39270 | d67e8537eae5 |
child 39272 | 0b61951d2682 |
--- a/src/HOL/IsaMakefile Thu Sep 09 20:58:46 2010 +0200 +++ b/src/HOL/IsaMakefile Fri Sep 10 09:56:28 2010 +0200 @@ -162,7 +162,6 @@ Power.thy \ Predicate.thy \ Product_Type.thy \ - Record.thy \ Relation.thy \ Rings.thy \ SAT.thy \ @@ -254,6 +253,7 @@ Random.thy \ Random_Sequence.thy \ Recdef.thy \ + Record.thy \ Refute.thy \ Semiring_Normalization.thy \ SetInterval.thy \