doc-src/TutorialI/Protocol/Public.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2001-04-11 paulson 2001-04-11 symlinks to ../../../HOL/Auth. Fingers crossed...