Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned op's
  2. tuned op's
  3. tuned op's
  4. tuned op's
  5. tuned op's
  6. tuned op's
  7. tuned op's
  8. tuned op's
  9. tuned op's
  10. tuned op's
  11. tuned op's
Changeset 8630:02f0237c1996 by nipkow:
tuned op's
The file was modified thys/Refine_Imperative_HOL/Sepref_Combinator_Setup.thy (diff)
Changeset 8629:b3ef90e121ca by nipkow:
tuned op's
The file was modified thys/Refine_Imperative_HOL/Sepref_HOL_Bindings.thy (diff)
Changeset 8628:86e10908bc01 by nipkow:
tuned op's
The file was modified thys/Refine_Imperative_HOL/Examples/Sepref_Dijkstra.thy (diff)
The file was modified thys/Refine_Imperative_HOL/Examples/Sepref_Graph.thy (diff)
Changeset 8627:669a78964ab0 by nipkow:
tuned op's
The file was modified thys/Refine_Imperative_HOL/Examples/Snippets/Sepref_Snip_Datatype.thy (diff)
Changeset 8626:f7645e9e34c9 by nipkow:
tuned op's
The file was modified thys/Refine_Imperative_HOL/Userguides/Sepref_Guide_Quickstart.thy (diff)
Changeset 8625:17ebca9ec1a2 by nipkow:
tuned op's
The file was modified thys/Refine_Imperative_HOL/IICF/Impl/IICF_List_Mset.thy (diff)
The file was modified thys/Refine_Imperative_HOL/IICF/Impl/IICF_List_SetO.thy (diff)
Changeset 8624:229d51cc7309 by nipkow:
tuned op's
The file was modified thys/Refine_Imperative_HOL/IICF/Intf/IICF_List.thy (diff)
Changeset 8623:b2a0f70bbd75 by nipkow:
tuned op's
The file was modified thys/Refine_Imperative_HOL/IICF/Intf/IICF_Multiset.thy (diff)
Changeset 8622:0ef8fb67a6f8 by nipkow:
tuned op's
The file was modified thys/Refine_Imperative_HOL/IICF/Intf/IICF_Multiset.thy (diff)
Changeset 8621:dd7b0406fb52 by nipkow:
tuned op's
The file was modified thys/Refine_Imperative_HOL/IICF/Intf/IICF_Set.thy (diff)
Changeset 8620:a74e13c0420f by nipkow:
tuned op's
The file was modified thys/Refine_Imperative_HOL/IICF/Intf/IICF_Map.thy (diff)