1.1 --- a/src/HOL/IsaMakefile	Tue Jul 24 21:36:53 2012 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Jul 24 21:46:48 2012 +0200
     1.3 @@ -57,6 +57,7 @@
     1.4    HOL-Mutabelle \
     1.5    HOL-NanoJava \
     1.6    HOL-Nitpick_Examples \
     1.7 +  HOL-NSA-Examples \
     1.8    HOL-Number_Theory \
     1.9    HOL-Old_Number_Theory \
    1.10    HOL-Quotient_Examples \