equal
deleted
inserted
replaced
50 open ThmC |
50 open ThmC |
51 open Rewrite_Ord |
51 open Rewrite_Ord |
52 open UnparseC |
52 open UnparseC |
53 (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*) |
53 (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*) |
54 \<close> |
54 \<close> |
55 ML_file "BaseDefinitions/libraryC.sml" |
55 ML_file "BridgeJEdit/parseC.sml" |
56 |
56 |
57 section \<open>code for copy & paste ===============================================================\<close> |
57 section \<open>code for copy & paste ===============================================================\<close> |
58 ML \<open> |
58 ML \<open> |
59 "~~~~~ fun xxx , args:"; val () = (); |
59 "~~~~~ fun xxx , args:"; val () = (); |
60 "~~~~~ and xxx , args:"; val () = (); |
60 "~~~~~ and xxx , args:"; val () = (); |