equal
deleted
inserted
replaced
140 "~~~~~ and xxx , args:"; val () = (); |
140 "~~~~~ and xxx , args:"; val () = (); |
141 "~~~~~ from fun xxx \<longrightarrow>fun yyy \<longrightarrow>fun zzz , return:"; val () = (); |
141 "~~~~~ from fun xxx \<longrightarrow>fun yyy \<longrightarrow>fun zzz , return:"; val () = (); |
142 (*if*) (*then*); (*else*); (*case*) (*of*); (*return value*); (*in*) (*end*); |
142 (*if*) (*then*); (*else*); (*case*) (*of*); (*return value*); (*in*) (*end*); |
143 "xx" |
143 "xx" |
144 ^ "xxx" (*+*) (*+++*) (*!for return!*) (*isa*) (*REP*) (**) |
144 ^ "xxx" (*+*) (*+++*) (*!for return!*) (*isa*) (*REP*) (**) |
145 \<close> ML \<open> (*//---------------- adhoc inserted ------------------------------------------------\\*) |
145 \<close> ML \<open> (*//----------- adhoc inserted n ----------------------------------------------------\\*) |
146 \<close> ML \<open> |
146 (*//----------------- adhoc inserted n ----------------------------------------------------\\*) |
147 \<close> ML \<open> (*\\---------------- adhoc inserted ------------------------------------------------//*) |
147 (*\\------------------ adhoc inserted n ----------------------------------------------------//*) |
|
148 \<close> ML \<open> (*\\----------- adhoc inserted n ----------------------------------------------------//*) |
148 \<close> |
149 \<close> |
149 ML \<open> |
150 ML \<open> |
150 \<close> ML \<open> |
151 \<close> ML \<open> |
151 \<close> ML \<open> |
152 \<close> ML \<open> |
152 \<close> ML \<open> |
153 \<close> ML \<open> |
297 ML_file "Knowledge/integrate.sml" |
298 ML_file "Knowledge/integrate.sml" |
298 ML_file "Knowledge/eqsystem-1.sml" |
299 ML_file "Knowledge/eqsystem-1.sml" |
299 ML_file "Knowledge/eqsystem-1a.sml" |
300 ML_file "Knowledge/eqsystem-1a.sml" |
300 ML_file "Knowledge/eqsystem-2.sml" |
301 ML_file "Knowledge/eqsystem-2.sml" |
301 ML_file "Knowledge/test.sml" |
302 ML_file "Knowledge/test.sml" |
302 ML_file "Knowledge/polyminus.sml" |
303 ML_file "Knowledge/polyminus.sml" |
303 ML_file "Knowledge/vect.sml" |
304 ML_file "Knowledge/vect.sml" |
304 ML_file "Knowledge/diff-app.sml" (* postponed to dev. specification | TP-prog. *) |
305 ML_file "Knowledge/diff-app.sml" (* postponed to dev. specification | TP-prog. *) |
305 ML_file "Knowledge/biegelinie-1.sml" |
306 ML_file "Knowledge/biegelinie-1.sml" |
306 (*ML_file "Knowledge/biegelinie-2.sml" Test_Isac_Short*) |
307 (*ML_file "Knowledge/biegelinie-2.sml" Test_Isac_Short*) |
307 (*ML_file "Knowledge/biegelinie-3.sml" Test_Isac_Short*) |
308 (*ML_file "Knowledge/biegelinie-3.sml" Test_Isac_Short*) |