equal
deleted
inserted
replaced
25 \(u_u::bool list) (s_s::bool list) (o_o::bool list) (l_l::real) =\ |
25 \(u_u::bool list) (s_s::bool list) (o_o::bool list) (l_l::real) =\ |
26 \ (let t_t = (l_l = 1)\ |
26 \ (let t_t = (l_l = 1)\ |
27 \ in t_t)" |
27 \ in t_t)" |
28 ; |
28 ; |
29 val sc = (inst_abs o (TermC.parseNEW' ctxt)) str; |
29 val sc = (inst_abs o (TermC.parseNEW' ctxt)) str; |
30 TermC.atomty sc; |
30 TermC.atom_trace_detail @{context} sc; |
31 atomt sc; |
31 TermC.atom_trace @{context} sc; |
32 |
32 |
33 "----------- me 'Berechnung' 'erstNumerisch' ---------------------"; |
33 "----------- me 'Berechnung' 'erstNumerisch' ---------------------"; |
34 "----------- me 'Berechnung' 'erstNumerisch' ---------------------"; |
34 "----------- me 'Berechnung' 'erstNumerisch' ---------------------"; |
35 "----------- me 'Berechnung' 'erstNumerisch' ---------------------"; |
35 "----------- me 'Berechnung' 'erstNumerisch' ---------------------"; |
36 val fmz = |
36 val fmz = |