drwxr-xr-x | [up] | |||
-rw-r--r-- | 2021-08-10 19:05 +0200 | 4417 | AlgEin.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 7474 | Base_Tools.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 18694 | Biegelinie.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 13202 | Build_Thydata.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 106 | Calculus.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 18218 | Diff.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 13466 | DiffApp-oldpbl.sml | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 3822 | DiffApp-oldscr.sml | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 17140 | DiffApp-scrpbl.sml | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 2920 | DiffApp.sml | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 8362 | DiffApp.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 1518 | DiophantEq.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 27917 | EqSystem.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 3226 | Equation.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 28348 | GCD_Poly_FP.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 57783 | GCD_Poly_ML.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 13115 | GCD_Poly_OLD.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 5919 | InsSort.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 13338 | Integrate.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 6821 | Inverse_Z_Transform.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 813 | Isac_Knowledge.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 5980 | LinEq.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 1543 | LogExp.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 12810 | Partial_Fractions.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 69591 | Poly.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 58459 | PolyEq.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 24575 | PolyMinus.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 8438 | RatEq.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 40725 | Rational.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 13627 | Root.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 26299 | RootEq.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 1064 | RootRat.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 6682 | RootRatEq.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 1981 | Simplify.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 44357 | Test.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 2504 | Test_Build_Thydata.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 100 | Trig.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 102 | Vect.thy | file | revisions | annotate |
-rw-r--r-- | 2021-08-10 19:05 +0200 | 77770 | gcd_poly_old.sml | file | revisions | annotate |