isabelle: src/Tools/Spec_Check/Spec_Check.thy@b8aeeedf7e68 (annotated)

52248 2c893e0c1def added Spec_Check -- a Quickcheck tool for Isabelle's ML environment; bulwahn parents: diff changeset	1	theory Spec_Check
53164 beb4ee344c22 clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL; wenzelm parents: 52254 diff changeset	2	imports Pure
52248 2c893e0c1def added Spec_Check -- a Quickcheck tool for Isabelle's ML environment; bulwahn parents: diff changeset	3	begin
2c893e0c1def added Spec_Check -- a Quickcheck tool for Isabelle's ML environment; bulwahn parents: diff changeset	4
69605 a96320074298 isabelle update -u path_cartouches; wenzelm parents: 53165 diff changeset	5	ML_file \<open>random.ML\<close>
a96320074298 isabelle update -u path_cartouches; wenzelm parents: 53165 diff changeset	6	ML_file \<open>property.ML\<close>
a96320074298 isabelle update -u path_cartouches; wenzelm parents: 53165 diff changeset	7	ML_file \<open>base_generator.ML\<close>
a96320074298 isabelle update -u path_cartouches; wenzelm parents: 53165 diff changeset	8	ML_file \<open>generator.ML\<close>
a96320074298 isabelle update -u path_cartouches; wenzelm parents: 53165 diff changeset	9	ML_file \<open>gen_construction.ML\<close>
a96320074298 isabelle update -u path_cartouches; wenzelm parents: 53165 diff changeset	10	ML_file \<open>spec_check.ML\<close>
a96320074298 isabelle update -u path_cartouches; wenzelm parents: 53165 diff changeset	11	ML_file \<open>output_style.ML\<close>
52248 2c893e0c1def added Spec_Check -- a Quickcheck tool for Isabelle's ML environment; bulwahn parents: diff changeset	12
2c893e0c1def added Spec_Check -- a Quickcheck tool for Isabelle's ML environment; bulwahn parents: diff changeset	13	end

author	wenzelm
	Tue, 05 Nov 2019 14:16:16 +0100
changeset 71046	b8aeeedf7e68
parent 69605	a96320074298
permissions	-rw-r--r--