Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. update cartouches
  2. hide constants with useful short names
Changeset 7446:fde74586cb75 by Christian Sternagel:
update cartouches
The file was modified thys/Efficient-Mergesort/Efficient_Sort.thy (diff)
Changeset 7445:4162de87a75e by Christian Sternagel:
hide constants with useful short names
The file was modified thys/Efficient-Mergesort/Efficient_Sort.thy (diff)