drwxr-xr-x | [up] | |||
drwxr-xr-x | Sum_of_Squares | files | ||
drwxr-xr-x | document | files | ||
-rw-r--r-- | 2012-03-28 10:00 +0200 | 24241 | AList.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 2473 | AList_Mapping.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 20714 | Abstract_Rat.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 25908 | BigO.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 19822 | Binomial.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 2717 | Bit.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 11467 | Boolean_Algebra.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 2576 | Cardinality.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 6800 | Char_nat.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 2492 | Char_ord.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 1528 | Code_Char.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 1025 | Code_Char_chr.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 662 | Code_Char_ord.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 4289 | Code_Integer.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 7803 | Code_Nat.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 4112 | Code_Natural.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 478 | Code_Prolog.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 3851 | Code_Real_Approx_By_Float.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 22308 | ContNotDenum.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 8704 | Continuity.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 31477 | Convex.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 9632 | Countable.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 13578 | Cset.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 305 | Cset_Monad.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 7009 | DAList.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 5945 | Dlist.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 4420 | Dlist_Cset.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 7873 | Efficient_Nat.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 4221 | Eval_Witness.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 19929 | Extended_Nat.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 98492 | Extended_Real.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 56474 | Float.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 135417 | Formal_Power_Series.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 18664 | Fraction_Field.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 18501 | FrechetDeriv.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 14243 | FuncSet.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 5639 | Function_Algebras.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 48964 | Fundamental_Theorem_Algebra.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 2552 | Glbs.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 2744 | Indicator_Function.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 18842 | Infinite_Set.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 12520 | Inner_Product.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 15829 | Kleene_Algebra.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 3171 | LaTeXsugar.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 17951 | Lattice_Algebras.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 827 | Lattice_Syntax.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 941 | Library.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 4065 | ListVector.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 3717 | List_Cset.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 12429 | List_Prefix.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 3276 | List_lexord.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 10593 | Mapping.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 2583 | Monad_Syntax.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 70444 | Multiset.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 11603 | Nat_Bijection.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 10072 | Numeral_Type.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 2545 | Old_Recdef.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 3336 | Option_ord.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 2490 | OptionalSugar.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 3173 | Order_Relation.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 8000 | Permutation.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 36341 | Permutations.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 10415 | Poly_Deriv.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 49494 | Polynomial.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 7997 | Predicate_Compile_Alternative_Defs.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 322 | Predicate_Compile_Quickcheck.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 1873 | Preorder.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 4880 | Product_Lattice.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 21315 | Product_Vector.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 2498 | Product_ord.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 3101 | Product_plus.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 13297 | Quickcheck_Types.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 7149 | Quotient_List.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 3025 | Quotient_Option.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 4013 | Quotient_Product.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 2921 | Quotient_Set.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 3538 | Quotient_Sum.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 308 | Quotient_Syntax.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 6521 | Quotient_Type.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 5970 | RBT.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 49028 | RBT_Impl.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 5451 | RBT_Mapping.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 4311 | README.html | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 299 | ROOT.ML | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 17388 | Ramsey.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 1249 | Reflection.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 6874 | Saturated.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 15404 | Set_Algebras.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 5279 | State_Monad.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 8288 | Sublist_Order.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 11830 | Sum_of_Squares.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 20725 | Target_Numeral.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 7200 | Transitive_Closure_Table.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 37890 | Univ_Poly.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 3991 | Wfrec.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 5825 | While_Combinator.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 21234 | Zorn.thy | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 32759 | positivstellensatz.ML | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 14343 | reflection.ML | file | revisions | annotate |
-rw-r--r-- | 2012-03-28 10:00 +0200 | 1094 | reify_data.ML | file | revisions | annotate |