| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 8050 | AlgEin.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 103 | Base_Tools.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 26958 | Biegelinie.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 10246 | Build_Thydata.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 45 | Calculus.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 26454 | Diff.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 13203 | DiffApp-oldpbl.sml | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 3818 | DiffApp-oldscr.sml | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 16551 | DiffApp-scrpbl.sml | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 2884 | DiffApp.sml | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 13587 | DiffApp.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 2310 | DiophantEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 37989 | EqSystem.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 3784 | Equation.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 28298 | GCD_Poly_FP.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 56431 | GCD_Poly_ML.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 12770 | GCD_Poly_OLD.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 8277 | InsSort.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 17050 | Integrate.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 21273 | Inverse_Z_Transform.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 705 | Isac.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 7839 | LinEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 2324 | LogExp.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 17249 | Partial_Fractions.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 72338 | Poly.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 75611 | PolyEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 30190 | PolyMinus.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 10354 | RatEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 9558 | Rational-WN.sml | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 43438 | Rational.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 14946 | Root.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 36213 | RootEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 1166 | RootRat.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 8801 | RootRatEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 2715 | Simplify.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 5080 | Test.sml | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 60689 | Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 2684 | Test_Build_Thydata.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 65 | Trig.thy | file | revisions | annotate |
| -rw-r--r-- | 2019-03-19 15:42 +0100 | 42 | Vect.thy | file | revisions | annotate |