drwxr-xr-x | [up] | |||
-rw-r--r-- | 2021-04-20 16:58 +0200 | 5091 | AlgEin.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 7588 | Base_Tools.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 20685 | Biegelinie.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 12175 | Build_Thydata.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 45 | Calculus.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 20091 | Diff.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 13322 | DiffApp-oldpbl.sml | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 3822 | DiffApp-oldscr.sml | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 16858 | DiffApp-scrpbl.sml | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 2920 | DiffApp.sml | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 10136 | DiffApp.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 1830 | DiophantEq.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 31692 | EqSystem.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 3722 | Equation.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 28342 | GCD_Poly_FP.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 56824 | GCD_Poly_ML.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 13016 | GCD_Poly_OLD.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 6731 | InsSort.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 16644 | Integrate.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 7828 | Inverse_Z_Transform.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 906 | Isac_Knowledge.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 6924 | LinEq.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 1902 | LogExp.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 13401 | Partial_Fractions.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 71847 | Poly.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 68327 | PolyEq.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 29252 | PolyMinus.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 9671 | RatEq.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 9632 | Rational-WN.sml | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 42938 | Rational.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 15552 | Root.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 31844 | RootEq.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 1211 | RootRat.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 7639 | RootRatEq.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 2663 | Simplify.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 52752 | Test.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 2552 | Test_Build_Thydata.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 65 | Trig.thy | file | revisions | annotate |
-rw-r--r-- | 2021-04-20 16:58 +0200 | 42 | Vect.thy | file | revisions | annotate |