1.1 --- a/doc-isac/mlehnfeld/master/ruleset.Unsynchronized-1	Thu Jun 26 17:19:30 2014 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,39 +0,0 @@
     1.4 -ruleset.Unsynchronized-1 and ruleset.Unsynchronized-2 are copies from ~/.isabelle/../log/Isac,
     1.5 -where log/Isac was created by two different session Isac. and the output stems from ...
     1.6 ---------------------------------------------------------------------------------------
     1.7 -Build_Thydata.thy:
     1.8 -  writeln "======= begin ! ruleset' =======";
     1.9 -  ! ruleset' |> rev (*!!!!!*) 
    1.10 -    |> map check_kestore_rls |> map writeln;
    1.11 -  writeln "======= ! ruleset' ordered =======";
    1.12 ---------------------------------------------------------------------------------------
    1.13 -
    1.14 -======= begin ! ruleset' =======
    1.15 -(expand_binomtest, (Test, Rls {#calc = 3, #rules = 29, ...))
    1.16 -(make_polytest, (Test, Rls {#calc = 3, #rules = 25, ...))
    1.17 -(rearrange_assoc, (Test, Rls {#calc = 0, #rules = 2, ...))
    1.18 -(ac_plus_times, (Test, Rls {#calc = 0, #rules = 6, ...))
    1.19 -(norm_equation, (Test, Rls {#calc = 0, #rules = 1, ...))
    1.20 ------ ruleset.Unsynchronized-2: (inverse_z, (Inverse_Z_Transform, Rls {#calc = 0, #rules = 1, ...))
    1.21 -(matches, (Test, Rls {#calc = 8, #rules = 20, ...))
    1.22 -(isolate_bdv, (Test, Rls {#calc = 0, #rules = 6, ...))
    1.23 -(isolate_root, (Test, Rls {#calc = 0, #rules = 6, ...))
    1.24 -(tval_rls, (Test, Rls {#calc = 11, #rules = 27, ...))
    1.25 -(Test_simplify, (Test, Rls {#calc = 4, #rules = 37, ...))
    1.26 ------ ruleset.Unsynchronized-2: (testerls, (Test, Rls {#calc = 8, #rules = 19, ...))
    1.27 -(norm_System, (EqSystem, Rls {#calc = 0, #rules = 9, ...))
    1.28 -(norm_System_noadd_fractions, (EqSystem, Rls {#calc = 0, #rules = 8, ...))
    1.29 -(order_add_mult_System, (EqSystem, Rls {#calc = 0, #rules = 6, ...))
    1.30 -(order_system, (EqSystem, Rls {#calc = 0, #rules = 1, ...))
    1.31 -(isolate_bdvs_4x4, (EqSystem, Rls {#calc = 0, #rules = 5, ...))
    1.32 -(isolate_bdvs, (EqSystem, Rls {#calc = 0, #rules = 3, ...))
    1.33 -(simplify_System, (EqSystem, Seq {#calc = 1, #rules = 6, ...))
    1.34 -(simplify_System_parenthesized, (EqSystem, Seq {#calc = 1, #rules = 8, ...))
    1.35 -(testerls, (Test, Rls {#calc = 8, #rules = 19, ...))
    1.36 -(norm_Rational_rls_noadd_fractions, (Integrate, Rls {#calc = 0, #rules = 4, ...))
    1.37 -(norm_Rational_noadd_fractions, (Integrate, Seq {#calc = 0, #rules = 6, ...))
    1.38 -(separate_bdv2, (Integrate, Rls {#calc = 0, #rules = 22, ...))
    1.39 -:
    1.40 -:
    1.41 -:
    1.42 -======= ! ruleset' ordered =======