isabelle: src/Benchmarks/ROOT@14782d58a503 (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
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	3	session "HOL-Datatype_Benchmark" in Datatype_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	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
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	13	session "HOL-Quickcheck_Benchmark" in Quickcheck_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	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
	Mon, 10 Oct 2016 10:41:04 +0200
changeset 64127	14782d58a503
parent 62286	705d4c4003ea
child 65573	0f3fdf689bf9
permissions	-rw-r--r--