# HG changeset patch
# User haftmann
# Date 1253541698 -7200
# Node ID 55a0be42327c5c281ba9acc2aa0a7bb9dbddae66
# Parent  37e32f8aa6967718f046709c909e8adb62b20e8b
added session theory for Bali and Nominal_Examples

diff -r 37e32f8aa696 -r 55a0be42327c src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Sep 21 16:01:30 2009 +0200
+++ b/src/HOL/IsaMakefile	Mon Sep 21 16:01:38 2009 +0200
@@ -836,7 +836,7 @@
 
 HOL-Bali: HOL $(LOG)/HOL-Bali.gz
 
-$(LOG)/HOL-Bali.gz: $(OUT)/HOL Bali/AxCompl.thy Bali/AxExample.thy	\
+$(LOG)/HOL-Bali.gz: $(OUT)/HOL Bali/Bali.thy Bali/AxCompl.thy Bali/AxExample.thy	\
   Bali/AxSem.thy Bali/AxSound.thy Bali/Basis.thy Bali/Conform.thy	\
   Bali/Decl.thy Bali/DeclConcepts.thy Bali/Eval.thy Bali/Evaln.thy	\
   Bali/Example.thy Bali/Name.thy Bali/ROOT.ML Bali/State.thy		\
@@ -1026,6 +1026,7 @@
 HOL-Nominal-Examples: HOL-Nominal $(LOG)/HOL-Nominal-Examples.gz
 
 $(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal 	\
+  Nominal/Examples/Nominal_Examples.thy \
   Nominal/Examples/CK_Machine.thy \
   Nominal/Examples/CR.thy \
   Nominal/Examples/CR_Takahashi.thy \