# HG changeset patch
# User blanchet
# Date 1286222494 -7200
# Node ID 277addece9b71cf1a837f34b67eedf68c5c85756
# Parent  03ac1fbc76d3b131611a68cd7a7272b912b15fb7
added "Meson" theory to Makefile

diff -r 03ac1fbc76d3 -r 277addece9b7 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Oct 04 21:57:23 2010 +0200
+++ b/src/HOL/IsaMakefile	Mon Oct 04 22:01:34 2010 +0200
@@ -154,6 +154,7 @@
   Groups.thy \
   Inductive.thy \
   Lattices.thy \
+  Meson.thy \
   Nat.thy \
   Option.thy \
   Orderings.thy \