drwxr-xr-x | [up] | |||
-rw-r--r-- | 2019-06-23 14:23 +0200 | 5289 | AlgEin.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 103 | Base_Tools.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 17497 | Biegelinie.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 10246 | Build_Thydata.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 45 | Calculus.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 19776 | Diff.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 13203 | DiffApp-oldpbl.sml | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 3818 | DiffApp-oldscr.sml | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 16551 | DiffApp-scrpbl.sml | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 2884 | DiffApp.sml | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 9729 | DiffApp.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 1814 | DiophantEq.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 31168 | EqSystem.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 3629 | Equation.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 28298 | GCD_Poly_FP.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 56431 | GCD_Poly_ML.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 12770 | GCD_Poly_OLD.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 6721 | InsSort.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 16044 | Integrate.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 7686 | Inverse_Z_Transform.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 841 | Isac.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 6778 | LinEq.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 1869 | LogExp.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 13160 | Partial_Fractions.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 69744 | Poly.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 65377 | PolyEq.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 28345 | PolyMinus.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 9308 | RatEq.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 9558 | Rational-WN.sml | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 41872 | Rational.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 14840 | Root.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 30831 | RootEq.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 1166 | RootRat.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 7480 | RootRatEq.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 2582 | Simplify.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 50908 | Test.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 2744 | Test_Build_Thydata.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 65 | Trig.thy | file | revisions | annotate |
-rw-r--r-- | 2019-06-23 14:23 +0200 | 42 | Vect.thy | file | revisions | annotate |