| changeset 43162 | 9a8acc5adfa3 |
| parent 43158 | 686fa0a0696e |
| child 43197 | c71657bbdbc0 |
--- a/src/HOL/IsaMakefile Mon Jun 06 20:36:34 2011 +0200 +++ b/src/HOL/IsaMakefile Mon Jun 06 20:36:34 2011 +0200 @@ -710,7 +710,7 @@ Metis_Examples/BT.thy Metis_Examples/Clausify.thy \ Metis_Examples/HO_Reas.thy Metis_Examples/Message.thy \ Metis_Examples/Tarski.thy Metis_Examples/TransClosure.thy \ - Metis_Examples/set.thy + Metis_Examples/Typings.thy Metis_Examples/set.thy @$(ISABELLE_TOOL) usedir $(OUT)/HOL Metis_Examples