de.uka.ilkd.key.proof.io.consistency
Interfaces
FileRepo
Classes
AbstractFileRepo
DiskFileRepo
MemoryFileRepo
SimpleFileRepo
TrivialFileRepo