equal
deleted
inserted
replaced
528 IMP/HoareT.thy IMP/Hoare_Examples.thy IMP/Hoare_Sound_Complete.thy \ |
528 IMP/HoareT.thy IMP/Hoare_Examples.thy IMP/Hoare_Sound_Complete.thy \ |
529 IMP/Live.thy IMP/OO.thy IMP/Poly_Types.thy IMP/Procs.thy \ |
529 IMP/Live.thy IMP/OO.thy IMP/Poly_Types.thy IMP/Procs.thy \ |
530 IMP/Procs_Dyn_Vars_Dyn.thy IMP/Procs_Stat_Vars_Dyn.thy \ |
530 IMP/Procs_Dyn_Vars_Dyn.thy IMP/Procs_Stat_Vars_Dyn.thy \ |
531 IMP/Procs_Stat_Vars_Stat.thy IMP/Sec_Type_Expr.thy IMP/Sec_Typing.thy \ |
531 IMP/Procs_Stat_Vars_Stat.thy IMP/Sec_Type_Expr.thy IMP/Sec_Typing.thy \ |
532 IMP/Sec_TypingT.thy IMP/Small_Step.thy IMP/Star.thy IMP/Types.thy \ |
532 IMP/Sec_TypingT.thy IMP/Small_Step.thy IMP/Star.thy IMP/Types.thy \ |
533 IMP/Util.thy IMP/VC.thy IMP/Vars.thy \ |
533 IMP/VC.thy IMP/Vars.thy \ |
534 IMP/ROOT.ML IMP/document/root.tex IMP/document/root.bib |
534 IMP/ROOT.ML IMP/document/root.tex IMP/document/root.bib |
535 @cd IMP && $(ISABELLE_TOOL) usedir -g true -b $(OUT)/HOL HOL-IMP |
535 @cd IMP && $(ISABELLE_TOOL) usedir -g true -b $(OUT)/HOL HOL-IMP |
536 |
536 |
537 ## HOL-IMPP |
537 ## HOL-IMPP |
538 |
538 |