Index of Isabelle/HOL/HOL-Algebra/example_Bicomplex

Theories

• HomGroupCompletion
• HomGroupsCompletion
• lemma_2_2_11
• lemma_2_2_14
• Infinite_Set
• analytic_part_local
• lemma_2_2_15_local_nilpot
• lemma_2_2_17_local_nilpot
• lemma_2_2_18_local_nilpot
• lemma_2_2_19_local_nilpot
• Basic_Perturbation_Lemma_local_nilpot
• Lubs
• Abstract_Rat
• Rational
• PReal
• RealDef
• RComplete
• ContNotDenum
• RealPow
• RealVector
• Real
• Float
• MatrixGeneral
• Matrix
• LP
• SparseMatrix
• FloatSparseMatrix
• Compute_Oracle
• ComputeHOL
• ComputeNumeral
• Cplex
• MatrixLP
• Acc_tools
• Orbit
• Cycle
• While
• BPL_classes_2008
• Code_Message
• Code_Index
• RType
• Eval
• Code_Integer
• Efficient_Nat
• example_Bicomplex

The following .rar file contais the previous source files that were not directly used from the Isabelle 2008 standard distribution:example_Bicomplex.rar.

If you have any problems running the previous files please contact me: jesus-maria.aransay@unirioja.es.