isabelle: src/Benchmarks/ROOT@744878d72021 (annotated)

62286 705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	1	chapter HOL
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	2
65573 0f3fdf689bf9 clarified parent session images, to avoid duplicate loading of theories; wenzelm parents: 62286 diff changeset	3	session "HOL-Datatype_Benchmark" in Datatype_Benchmark = "HOL-Library" +
62286 705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	4	description {*
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	5	Big (co)datatypes.
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	6	*}
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	7	options [document = false]
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	8	theories
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	9	Brackin
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	10	IsaFoR
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	11	Misc_N2M
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	12
65573 0f3fdf689bf9 clarified parent session images, to avoid duplicate loading of theories; wenzelm parents: 62286 diff changeset	13	session "HOL-Quickcheck_Benchmark" in Quickcheck_Benchmark = "HOL-Library" +
62286 705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	14	theories [quick_and_dirty]
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	15	Find_Unused_Assms_Examples
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	16	Needham_Schroeder_No_Attacker_Example
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	17	Needham_Schroeder_Guided_Attacker_Example
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	18	Needham_Schroeder_Unguided_Attacker_Example
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	19
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	20	session "HOL-Record_Benchmark" in Record_Benchmark = HOL +
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	21	description {*
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	22	Big records.
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	23	*}
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	24	options [document = false]
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	25	theories
705d4c4003ea clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default; wenzelm parents: diff changeset	26	Record_Benchmark

author	wenzelm
	Sun, 21 May 2017 23:41:46 +0200
changeset 65895	744878d72021
parent 65573	0f3fdf689bf9
child 66946	3d8fd98c7c86
permissions	-rw-r--r--