Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. get rid of goalX
  2. get rid of goalX
Changeset 6364:b569735d58de by max haslbeck _haslbema@in.tum.de_:
get rid of goalX
The file was modified thys/List_Update/TS.thy (diff)
Changeset 6363:6bf6aca6702a by max haslbeck _haslbema@in.tum.de_:
get rid of goalX
The file was modified thys/List_Update/BIT.thy (diff)
The file was modified thys/List_Update/BIT_2comp_on2.thy (diff)
The file was modified thys/List_Update/BIT_pairwise.thy (diff)
The file was modified thys/List_Update/Bit_Strings.thy (diff)
The file was modified thys/List_Update/Comb.thy (diff)
The file was modified thys/List_Update/List_Factoring.thy (diff)
The file was modified thys/List_Update/MTF2_Effects.thy (diff)
The file was modified thys/List_Update/Move_to_Front.thy (diff)
The file was modified thys/List_Update/OPT2.thy (diff)
The file was modified thys/List_Update/Phase_Partitioning.thy (diff)
The file was modified thys/List_Update/Prob_Theory.thy (diff)
The file was modified thys/List_Update/RExp_Var.thy (diff)
The file was modified thys/List_Update/TS.thy (diff)