| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 5063 | AlgEin.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 7400 | Base_Tools.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 17783 | Biegelinie.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 12084 | Build_Thydata.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 45 | Calculus.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 19658 | Diff.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 13203 | DiffApp-oldpbl.sml | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 3822 | DiffApp-oldscr.sml | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 16552 | DiffApp-scrpbl.sml | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 2890 | DiffApp.sml | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 9946 | DiffApp.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 1815 | DiophantEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 31263 | EqSystem.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 3704 | Equation.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 28342 | GCD_Poly_FP.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 56788 | GCD_Poly_ML.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 13016 | GCD_Poly_OLD.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 6686 | InsSort.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 16380 | Integrate.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 7801 | Inverse_Z_Transform.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 770 | Isac_Knowledge.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 6871 | LinEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 1858 | LogExp.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 13358 | Partial_Fractions.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 70151 | Poly.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 65645 | PolyEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 28718 | PolyMinus.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 9507 | RatEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 9620 | Rational-WN.sml | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 42496 | Rational.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 15189 | Root.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 31033 | RootEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 1191 | RootRat.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 7559 | RootRatEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 2642 | Simplify.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 51395 | Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 2548 | Test_Build_Thydata.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 65 | Trig.thy | file | revisions | annotate |
| -rw-r--r-- | 2020-04-13 13:27 +0200 | 42 | Vect.thy | file | revisions | annotate |