equal
deleted
inserted
replaced
11 subsection \<open>Shift programs for Lucas-Interpretation from strings to partial_function\<close> |
11 subsection \<open>Shift programs for Lucas-Interpretation from strings to partial_function\<close> |
12 text\<open> |
12 text\<open> |
13 String constants have already bee introduced to old string-programs. |
13 String constants have already bee introduced to old string-programs. |
14 Shifting this program code into partial_function reveals further issues: |
14 Shifting this program code into partial_function reveals further issues: |
15 \begin{itemize} |
15 \begin{itemize} |
|
16 \item Biegelinie.thy was already broken after isabisac15, but never noticed. |
|
17 Switch from script to partial_function has it broken further, |
|
18 mostly due to generalisation of handling of meths which extend the model of a probl. |
|
19 !Check if (*CURRENT*) error is due to "switch from Script to partial_function" 4035ec339062 ? |
|
20 OR ?due to "failed trial to generalise handling of meths |
|
21 which extend the model of a probl " 98298342fb6d |
|
22 \item |
16 \item Diff.thy |
23 \item Diff.thy |
17 \begin{itemize} |
24 \begin{itemize} |
18 \item differentiateX --> differentiate after removal of script-constant |
25 \item differentiateX --> differentiate after removal of script-constant |
19 \end{itemize} |
26 \end{itemize} |
20 \item Inverse_Z_Transform.thy: |
27 \item Inverse_Z_Transform.thy: |
66 \end{itemize} |
73 \end{itemize} |
67 \end{itemize} |
74 \end{itemize} |
68 \end{itemize} |
75 \end{itemize} |
69 \item \item abstract specify + nxt_specif to common aux-funs; |
76 \item \item abstract specify + nxt_specif to common aux-funs; |
70 see e.g. "--- hack for funpack: generalise handling of meths which extend problem items ---" |
77 see e.g. "--- hack for funpack: generalise handling of meths which extend problem items ---" |
71 \item \item |
78 \item |
72 \item \item |
79 \item |
73 \item \item |
80 \item |
74 \begin{itemize} |
81 \begin{itemize} |
75 \item |
82 \item |
76 \begin{itemize} |
83 \begin{itemize} |
77 \item |
84 \item |
78 \begin{itemize} |
85 \begin{itemize} |