Revision history for entry Stouppa, Phiniki (2007). "A deep inference system for the modal logic S" [STOADI]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes