diff -r 00f13d3ad474 -r e67760c1b851 src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Mon May 24 09:32:52 2010 -0700
+++ b/src/HOLCF/IsaMakefile	Mon May 24 11:29:49 2010 -0700
@@ -115,6 +115,7 @@
   ex/Hoare.thy \
   ex/Letrec.thy \
   ex/Loop.thy \
+  ex/Pattern_Match.thy \
   ex/Powerdomain_ex.thy \
   ex/Stream.thy \
   ex/Strict_Fun.thy \