| author | wneuper <walther.neuper@jku.at> |
| Fri, 07 May 2021 18:12:51 +0200 | |
| changeset 60278 | 343efa173023 |
| parent 60269 | 74965ce81297 |
| child 60324 | 5c7128feb370 |
| permissions | -rw-r--r-- |
1 (* theory collecting all knowledge defined so far
2 WN.11.00
3 *)
5 theory Isac_Knowledge
6 imports
7 (**) "$ISABELLE_ISAC/BridgeLibisabelle/BridgeLibisabelle" (*remove after devel.of BridgeJEdit*)
8 (** )"$ISABELLE_ISAC/BridgeJEdit/BridgeJEdit" ( *activate after devel.of BridgeJEdit*)
9 PolyMinus PolyEq Vect DiffApp Biegelinie AlgEin InsSort
10 DiophantEq Inverse_Z_Transform Test
11 begin
13 text \<open>dependencies alternative to those defined by R.Lang during his thesis:
15 Poly Root
16 |\______________|
17 | \ |
18 | Rational |
19 | | |
20 PolyEq RatEq RootEq
21 \ \ / /
22 \ \ / /
23 RatPolyEq RatRootEq etc.
24 \<close>
26 ML \<open>
27 val version_isac = "isac version 120504 15:33";
28 \<close> ML \<open>
29 \<close> ML \<open>
30 \<close>
31 end