Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
added simulations files to IOA;
authormueller
Tue, 13 Jan 1998 14:31:09 +0100
changeset 456623c01c724d7a
parent 4565 ea467ce15040
child 4567 b0b963a01a0c
added simulations files to IOA;
src/HOLCF/IsaMakefile file | annotate | diff | comparison | revisions 
     1.1 --- a/src/HOLCF/IsaMakefile	Tue Jan 13 14:26:21 1998 +0100
     1.2 +++ b/src/HOLCF/IsaMakefile	Tue Jan 13 14:31:09 1998 +0100
     1.3 @@ -84,7 +84,9 @@
     1.4    IOA/meta_theory/TLS.ML IOA/meta_theory/LiveIOA.thy IOA/meta_theory/LiveIOA.ML \
     1.5    IOA/meta_theory/Pred.thy IOA/meta_theory/Abstraction.thy \
     1.6    IOA/meta_theory/Abstraction.ML IOA/meta_theory/TrivEx.thy IOA/meta_theory/TrivEx.ML \
     1.7 -  IOA/meta_theory/TrivEx2.thy IOA/meta_theory/TrivEx2.ML
     1.8 +  IOA/meta_theory/TrivEx2.thy IOA/meta_theory/TrivEx2.ML \
     1.9 +  IOA/meta_theory/Simulations.thy IOA/meta_theory/Simulations.ML \
    1.10 +  IOA/meta_theory/SimCorrectness.thy IOA/meta_theory/SimCorrectness.ML 
    1.11  	@cd IOA; $(ISATOOL) usedir -b $(OUT)/HOLCF IOA
    1.12  
    1.13
wneuper/isa