src/HOL/IsaMakefile
changeset 33445 f0c78a28e18e
parent 33437 c8bc8dc5869f
child 33446 153a27370a42
     1.1 --- a/src/HOL/IsaMakefile	Thu Nov 05 14:41:37 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Thu Nov 05 14:48:40 2009 +0100
     1.3 @@ -1401,12 +1401,12 @@
     1.4    Boogie/Examples/Boogie_Max.thy Boogie/Examples/Boogie_Max.b2i         \
     1.5    Boogie/Examples/Boogie_Dijkstra.thy Boogie/Examples/VCC_Max.thy       \
     1.6    Boogie/Examples/Boogie_Dijkstra.b2i Boogie/Examples/VCC_Max.b2i       \
     1.7 -  Boogie/Examples/cert/Boogie_b_max                                     \
     1.8 -  Boogie/Examples/cert/Boogie_b_max.proof                               \
     1.9 -  Boogie/Examples/cert/Boogie_b_Dijkstra                                \
    1.10 -  Boogie/Examples/cert/Boogie_b_Dijkstra.proof                          \
    1.11 -  Boogie/Examples/cert/VCC_b_maximum                                    \
    1.12 -  Boogie/Examples/cert/VCC_b_maximum.proof
    1.13 +  Boogie/Examples/cert/Boogie_max                                     \
    1.14 +  Boogie/Examples/cert/Boogie_max.proof                               \
    1.15 +  Boogie/Examples/cert/Boogie_Dijkstra                                \
    1.16 +  Boogie/Examples/cert/Boogie_Dijkstra.proof                          \
    1.17 +  Boogie/Examples/cert/VCC_maximum                                    \
    1.18 +  Boogie/Examples/cert/VCC_maximum.proof
    1.19  	@cd Boogie; $(ISABELLE_TOOL) usedir $(OUT)/HOL-Boogie Examples
    1.20  
    1.21