drwxr-xr-x | [up] | |||
-rw-r--r-- | 2018-03-26 07:28 +0200 | 5888 | AlgEin.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 29820 | Atools.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 27783 | Biegelinie.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 10030 | Build_Thydata.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 52 | Calculus.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 4707 | Delete.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 1551 | Descript.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 20317 | Diff.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 13203 | DiffApp-oldpbl.sml | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 3818 | DiffApp-oldscr.sml | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 16551 | DiffApp-scrpbl.sml | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 2884 | DiffApp.sml | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 11054 | DiffApp.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 1958 | DiophantEq.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 33002 | EqSystem.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 3685 | Equation.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 28622 | GCD_Poly_FP.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 55300 | GCD_Poly_ML.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 12332 | GCD_Poly_OLD.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 6534 | InsSort.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 16279 | Integrate.thy | file | revisions | annotate |
-rwxr-xr-x | 2018-03-26 07:28 +0200 | 13294 | Inverse_Z_Transform.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 686 | Isac.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 6852 | LinEq.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 1984 | LogExp.thy | file | revisions | annotate |
-rwxr-xr-x | 2018-03-26 07:28 +0200 | 14075 | Partial_Fractions.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 75494 | Poly.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 69030 | PolyEq.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 28239 | PolyMinus.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 9558 | RatEq.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 9558 | Rational-WN.sml | file | revisions | annotate |
-rwxr-xr-x | 2018-03-26 07:28 +0200 | 42344 | Rational.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 14866 | Root.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 32679 | RootEq.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 1146 | RootRat.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 8008 | RootRatEq.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 2658 | Simplify.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 5036 | Test.sml | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 64703 | Test.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 1105 | Test_Build_Thydata.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 61 | Trig.thy | file | revisions | annotate |
-rw-r--r-- | 2018-03-26 07:28 +0200 | 49 | Vect.thy | file | revisions | annotate |