| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 5130 | AlgEin.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 8212 | Base_Tools.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 20872 | Biegelinie.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 11580 | Build_Thydata.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 106 | Calculus.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 20286 | Diff.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 13466 | DiffApp-oldpbl.sml | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 3822 | DiffApp-oldscr.sml | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 17140 | DiffApp-scrpbl.sml | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 2920 | DiffApp.sml | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 10194 | DiffApp.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 1871 | DiophantEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 31801 | EqSystem.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 3761 | Equation.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 28338 | GCD_Poly_FP.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 57744 | GCD_Poly_ML.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 13016 | GCD_Poly_OLD.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 6770 | InsSort.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 16858 | Integrate.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 7843 | Inverse_Z_Transform.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 813 | Isac_Knowledge.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 6981 | LinEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 1887 | LogExp.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 13483 | Partial_Fractions.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 74302 | Poly.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 68353 | PolyEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 29602 | PolyMinus.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 9673 | RatEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 42474 | Rational.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 15966 | Root.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 32052 | RootEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 1270 | RootRat.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 7547 | RootRatEq.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 2501 | Simplify.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 53164 | Test.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 2572 | Test_Build_Thydata.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 100 | Trig.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-07-03 16:21 +0200 | 102 | Vect.thy | file | revisions | annotate |