| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 4953 | AlgEin.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 7197 | Base_Tools.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 17396 | Biegelinie.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 12067 | Build_Thydata.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 45 | Calculus.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 19447 | Diff.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 13203 | DiffApp-oldpbl.sml | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 3822 | DiffApp-oldscr.sml | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 16552 | DiffApp-scrpbl.sml | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 2890 | DiffApp.sml | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 9806 | DiffApp.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 1803 | DiophantEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 30615 | EqSystem.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 3659 | Equation.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 28342 | GCD_Poly_FP.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 56788 | GCD_Poly_ML.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 13016 | GCD_Poly_OLD.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 6604 | InsSort.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 16083 | Integrate.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 7629 | Inverse_Z_Transform.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 868 | Isac_Knowledge.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 6734 | LinEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 1854 | LogExp.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 13204 | Partial_Fractions.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 69409 | Poly.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 65186 | PolyEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 28227 | PolyMinus.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 9370 | RatEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 9558 | Rational-WN.sml | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 42018 | Rational.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 15015 | Root.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 30864 | RootEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 1171 | RootRat.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 7473 | RootRatEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 2602 | Simplify.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 50884 | Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 2637 | Test_Build_Thydata.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 65 | Trig.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-12-14 13:36 +0100 | 42 | Vect.thy | file | revisions | annotate |