equal
deleted
inserted
replaced
29 complex_types__initialized = initialized |
29 complex_types__initialized = initialized |
30 complex_types__initialized2 = initialized2 |
30 complex_types__initialized2 = initialized2 |
31 complex_types__initialized3 = initialized3 |
31 complex_types__initialized3 = initialized3 |
32 |
32 |
33 (*<*) |
33 (*<*) |
34 spark_open "complex_types_app/initialize.siv" |
34 spark_open "complex_types_app/initialize" |
35 |
35 |
36 spark_vc procedure_initialize_1 |
36 spark_vc procedure_initialize_1 |
37 by (simp add: initialized_def) |
37 by (simp add: initialized_def) |
38 |
38 |
39 spark_vc procedure_initialize_2 |
39 spark_vc procedure_initialize_2 |