Skip to content
Success

Changes

Summary

  1. cleaned sorted
Changeset 9231:4573c6c89779 by nipkow:
cleaned sorted
The file was modified thys/List_Update/Move_to_Front.thy (diff)