equal
deleted
inserted
replaced
990 |
990 |
991 ## HOL-Bali |
991 ## HOL-Bali |
992 |
992 |
993 HOL-Bali: HOL $(LOG)/HOL-Bali.gz |
993 HOL-Bali: HOL $(LOG)/HOL-Bali.gz |
994 |
994 |
995 $(LOG)/HOL-Bali.gz: $(OUT)/HOL Bali/Bali.thy Bali/AxCompl.thy \ |
995 $(LOG)/HOL-Bali.gz: $(OUT)/HOL Bali/AxCompl.thy Bali/AxExample.thy \ |
996 Bali/AxExample.thy Bali/AxSem.thy Bali/AxSound.thy Bali/Basis.thy \ |
996 Bali/AxSem.thy Bali/AxSound.thy Bali/Basis.thy Bali/Conform.thy \ |
997 Bali/Conform.thy Bali/Decl.thy Bali/DeclConcepts.thy Bali/Eval.thy \ |
997 Bali/Decl.thy Bali/DeclConcepts.thy Bali/Eval.thy Bali/Evaln.thy \ |
998 Bali/Evaln.thy Bali/Example.thy Bali/Name.thy Bali/ROOT.ML \ |
998 Bali/Example.thy Bali/Name.thy Bali/ROOT.ML Bali/State.thy \ |
999 Bali/State.thy Bali/Table.thy Bali/Term.thy Bali/Trans.thy \ |
999 Bali/Table.thy Bali/Term.thy Bali/Trans.thy Bali/Type.thy \ |
1000 Bali/Type.thy Bali/TypeRel.thy Bali/TypeSafe.thy Bali/Value.thy \ |
1000 Bali/TypeRel.thy Bali/TypeSafe.thy Bali/Value.thy Bali/WellForm.thy \ |
1001 Bali/WellForm.thy Bali/DefiniteAssignment.thy \ |
1001 Bali/DefiniteAssignment.thy Bali/DefiniteAssignmentCorrect.thy \ |
1002 Bali/DefiniteAssignmentCorrect.thy Bali/WellType.thy \ |
1002 Bali/WellType.thy Bali/document/root.tex |
1003 Bali/document/root.tex |
|
1004 @$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL Bali |
1003 @$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL Bali |
1005 |
1004 |
1006 |
1005 |
1007 ## HOL-IOA |
1006 ## HOL-IOA |
1008 |
1007 |