added "Meson" theory to Makefile
authorblanchet
Mon Oct 04 22:01:34 2010 +0200 (2010-10-04)
changeset 39945277addece9b7
parent 39944 03ac1fbc76d3
child 39946 78faa9b31202
added "Meson" theory to Makefile
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Mon Oct 04 21:57:23 2010 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Oct 04 22:01:34 2010 +0200
     1.3 @@ -154,6 +154,7 @@
     1.4    Groups.thy \
     1.5    Inductive.thy \
     1.6    Lattices.thy \
     1.7 +  Meson.thy \
     1.8    Nat.thy \
     1.9    Option.thy \
    1.10    Orderings.thy \