Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper use of @{cite};
Changeset 8598:c356f23eb8cc by wenzelm:
proper use of @{cite};
The file was modified thys/Lowe_Ontological_Argument/QML.thy (diff)
The file was modified thys/Surprise_Paradox/Surprise_Paradox.thy (diff)
The file was modified thys/Types_Tableaus_and_Goedels_God/GoedelProof_P2.thy (diff)
The file was modified thys/Types_Tableaus_and_Goedels_God/IHOML.thy (diff)