| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 4376 | AlgEin.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 7544 | Base_Tools.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 18916 | Biegelinie.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 2586 | Build_Thydata.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 106 | Calculus.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 21285 | Diff.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 13546 | DiffApp-oldpbl.sml | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 3822 | DiffApp-oldscr.sml | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 10398 | Diff_App.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 1521 | DiophantEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 28378 | EqSystem.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 3095 | Equation.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 28320 | GCD_Poly_FP.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 58146 | GCD_Poly_ML.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 13115 | GCD_Poly_OLD.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 5900 | InsSort.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 13473 | Integrate.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 6821 | Inverse_Z_Transform.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 814 | Isac_Knowledge.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 6047 | LinEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 1538 | LogExp.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 12868 | Partial_Fractions.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 70255 | Poly.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 58973 | PolyEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 24562 | PolyMinus.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 8455 | RatEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 45345 | Rational.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 14121 | Root.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 26351 | RootEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 1062 | RootRat.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 6680 | RootRatEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 1944 | Simplify.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 44760 | Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 2586 | Test_Build_Thydata.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 100 | Trig.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 102 | Vect.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-01-11 11:38 +0100 | 77770 | gcd_poly_old.sml | file | revisions | annotate |