colo12-c703.uibk.ac.at Git - hl193./.git/tree

drwxr-xr-x		..
-rw-r--r--	820	Abstractions_and_quantifiers.ml	blob \| history \| raw
-rw-r--r--	1851	Changing_proof_style.ml	blob \| history \| raw
-rw-r--r--	6081	Custom_inference_rules.ml	blob \| history \| raw
-rw-r--r--	5258	Custom_tactics.ml	blob \| history \| raw
-rw-r--r--	4585	Defining_new_types.ml	blob \| history \| raw
-rw-r--r--	4454	Embedding_of_logics_deep.ml	blob \| history \| raw
-rw-r--r--	860	Embedding_of_logics_shallow.ml	blob \| history \| raw
-rw-r--r--	6671	HOL_as_a_functional_programming_language.ml	blob \| history \| raw
-rw-r--r--	212	HOL_basics.ml	blob \| history \| raw
-rw-r--r--	3562	HOLs_number_systems.ml	blob \| history \| raw
-rw-r--r--	2728	Inductive_datatypes.ml	blob \| history \| raw
-rw-r--r--	3932	Inductive_definitions.ml	blob \| history \| raw
-rw-r--r--	5649	Linking_external_tools.ml	blob \| history \| raw
-rw-r--r--	4668	Number_theory.ml	blob \| history \| raw
-rw-r--r--	753	Propositional_logic.ml	blob \| history \| raw
-rw-r--r--	3062	Real_analysis.ml	blob \| history \| raw
-rw-r--r--	2598	Recursive_definitions.ml	blob \| history \| raw
-rw-r--r--	3549	Semantics_of_programming_languages_deep.ml	blob \| history \| raw
-rw-r--r--	8704	Semantics_of_programming_languages_shallow.ml	blob \| history \| raw
-rw-r--r--	1978	Sets_and_functions.ml	blob \| history \| raw
-rw-r--r--	1845	Tactics_and_tacticals.ml	blob \| history \| raw
-rw-r--r--	3579	Vectors.ml	blob \| history \| raw
-rw-r--r--	577	Wellfounded_induction.ml	blob \| history \| raw
-rw-r--r--	83340	all.ml	blob \| history \| raw