Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. removed dead assms
Changeset 6855:f6166f154842 by nipkow:
removed dead assms
The file was modified thys/DFS_Framework/Examples/DFS_Find_Path.thy (diff)
The file was modified thys/DFS_Framework/Examples/Nested_DFS.thy (diff)