GitHub

isabelle build -v -o browser_info -o "document=pdf" -o "document_variants=document:outline=/proof,/ML" -D .

Name		Name	Last commit message	Last commit date
Latest commit History 57 Commits
document		document
output		output
.gitignore		.gitignore
Alternative_price_function.thy		Alternative_price_function.thy
Bisimulation.thy		Bisimulation.thy
Correspondences.thy		Correspondences.thy
Discussion.thy		Discussion.thy
Expr_helper.thy		Expr_helper.thy
Failure_traces.thy		Failure_traces.thy
Failures.thy		Failures.thy
Formula_prices.thy		Formula_prices.thy
Foundations.thy		Foundations.thy
HML.thy		HML.thy
HM_theorem.thy		HM_theorem.thy
Impossible_futures.thy		Impossible_futures.thy
Introduction.thy		Introduction.thy
Possible_futures.thy		Possible_futures.thy
README.md		README.md
ROOT		ROOT
ROOT~		ROOT~
Readiness.thy		Readiness.thy
Ready_simulation.thy		Ready_simulation.thy
Ready_traces.thy		Ready_traces.thy
Revivals.thy		Revivals.thy
Simulation.thy		Simulation.thy
Trace_equivalence.thy		Trace_equivalence.thy
Traces.thy		Traces.thy
Transition_Systems.thy		Transition_Systems.thy
Two_nested_sim.thy		Two_nested_sim.thy
german_summary.tex~		german_summary.tex~

ekeln/BA_formula_prices