equal
deleted
inserted
replaced
272 \item rm Float |
272 \item rm Float |
273 \item xxx |
273 \item xxx |
274 \item Diff.thy: differentiateX --> differentiate after removal of script-constant |
274 \item Diff.thy: differentiateX --> differentiate after removal of script-constant |
275 \item Test.thy: met_test_sqrt2: deleted?! |
275 \item Test.thy: met_test_sqrt2: deleted?! |
276 \item xxx |
276 \item xxx |
277 \item Rewrite_Ord.rew_ord' := overwritel (! Rewrite_Ord.rew_ord', (*<<<---- use Know_Store.xxx, too*) |
277 \item Rewrite_Ord.id := overwritel (! Rewrite_Ord.id, (*<<<---- use Know_Store.xxx, too*) |
278 \item xxx |
278 \item xxx |
279 \item automatically extrac rls from program-code |
279 \item automatically extrac rls from program-code |
280 ? take ["SignalProcessing", "Z_Transform", "Inverse_sub"] as an example ? |
280 ? take ["SignalProcessing", "Z_Transform", "Inverse_sub"] as an example ? |
281 \item xxx |
281 \item xxx |
282 \item finish output of LItool.trace with Check_Postcond (useful for SubProblem) |
282 \item finish output of LItool.trace with Check_Postcond (useful for SubProblem) |