Session HOL-Codegenerator_Test

Theories

• HOL-Data_Structures.Cmp
• HOL-Data_Structures.Less_False
• HOL-Data_Structures.Sorted_Less
• HOL-Data_Structures.List_Ins_Del
• HOL-Data_Structures.Set_Specs
• HOL-Data_Structures.Tree_Set
• HOL-Data_Structures.AList_Upd_Del
• HOL-Data_Structures.Map_Specs
• HOL-Data_Structures.Tree_Map
• HOL-Computational_Algebra.Factorial_Ring
• HOL-Computational_Algebra.Euclidean_Algorithm
• HOL-Computational_Algebra.Primes
• HOL-Computational_Algebra.Polynomial
• HOL-Computational_Algebra.Formal_Power_Series
• HOL-Computational_Algebra.Polynomial_FPS
• HOL-Computational_Algebra.Formal_Laurent_Series
• HOL-Computational_Algebra.Fraction_Field
• HOL-Computational_Algebra.Fundamental_Theorem_Algebra
• HOL-Computational_Algebra.Group_Closure
• HOL-Computational_Algebra.Normalized_Fraction
• HOL-Computational_Algebra.Nth_Powers
• HOL-Computational_Algebra.Polynomial_Factorial
• HOL-Computational_Algebra.Squarefree
• HOL-Computational_Algebra.Computational_Algebra
• HOL-Number_Theory.Eratosthenes
• HOL-Examples.Records
• HOL-Examples.Gauss_Numbers
• Candidates
• Generate
• Generate_Binary_Nat
• Generate_Target_Nat
• Generate_Abstract_Char
• Generate_Efficient_Datastructures
• Code_Lazy_Test
• Code_Test_PolyML
• Code_Test_Scala
• Code_Test_MLton
• Code_Test_OCaml