All Packages

Package Summary

Package	Description
de.team33.patterns.proving.kerberos	Provides proving states through guard clauses.