Summary
- remove "slow" session tags
The file was modified | src/HOL/ROOT (diff) |
Changeset
63000:d0dfdd413a7f
by lars hupel _lars.hupel@mytum.de_:
remove "slow" session tags | |
The file was modified | src/HOL/ROOT (diff) |