History log of /seL4-l4v-master/l4v/isabelle/src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_Base.thy
Revision Date Author Comments
# ed7a971e 05-Jan-2019 wenzelm <none@none>

isabelle update -u control_cartouches;
# f5796e6d 14-Feb-2018 wenzelm <none@none>

more symbols;
# a7ccdf43 10-Jan-2018 nipkow <none@none>

ran isabelle update_op on all sources
# 17bc899d 18-Aug-2017 wenzelm <none@none>

session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
# 2b405c3d 12-Feb-2016 wenzelm <none@none>

isabelle update_cartouches -c -t;
# 40ce4d9c 12-Feb-2016 wenzelm <none@none>

clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default;

--HG--
rename : src/HOL/Datatype_Examples/Brackin.thy => src/Benchmarks/Datatype_Benchmark/Brackin.thy
rename : src/HOL/Datatype_Examples/IsaFoR.thy => src/Benchmarks/Datatype_Benchmark/IsaFoR.thy
rename : src/HOL/Datatype_Examples/Misc_N2M.thy => src/Benchmarks/Datatype_Benchmark/Misc_N2M.thy
rename : src/HOL/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy => src/Benchmarks/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy
rename : src/HOL/Quickcheck_Benchmark/Needham_Schroeder_Base.thy => src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_Base.thy
rename : src/HOL/Quickcheck_Benchmark/Needham_Schroeder_Guided_Attacker_Example.thy => src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_Guided_Attacker_Example.thy
rename : src/HOL/Quickcheck_Benchmark/Needham_Schroeder_No_Attacker_Example.thy => src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_No_Attacker_Example.thy
rename : src/HOL/Quickcheck_Benchmark/Needham_Schroeder_Unguided_Attacker_Example.thy => src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_Unguided_Attacker_Example.thy
rename : src/HOL/Record_Benchmark/Record_Benchmark.thy => src/Benchmarks/Record_Benchmark/Record_Benchmark.thy