| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 4421 | AlgEin.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 7414 | Base_Tools.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 18726 | Biegelinie.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 13169 | Build_Thydata.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 106 | Calculus.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 18228 | Diff.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 13466 | DiffApp-oldpbl.sml | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 3822 | DiffApp-oldscr.sml | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 10483 | Diff_App.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 1528 | DiophantEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 28289 | EqSystem.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 3104 | Equation.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 28320 | GCD_Poly_FP.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 58146 | GCD_Poly_ML.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 13115 | GCD_Poly_OLD.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 5931 | InsSort.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 13373 | Integrate.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 6831 | Inverse_Z_Transform.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 814 | Isac_Knowledge.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 6009 | LinEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 1547 | LogExp.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 12820 | Partial_Fractions.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 69558 | Poly.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 58687 | PolyEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 24520 | PolyMinus.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 8442 | RatEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 41042 | Rational.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 13825 | Root.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 26310 | RootEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 1062 | RootRat.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 6686 | RootRatEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 1937 | Simplify.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 44510 | Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 2504 | Test_Build_Thydata.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 100 | Trig.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 102 | Vect.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-08-04 12:48 +0200 | 77770 | gcd_poly_old.sml | file | revisions | annotate |