Revision history for entry Helzner, Jeffrey: Admissibility in a Logical Framework [HELAIA-3]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-08-24T14:40:51update
2013-08-24T14:40:51addLocal copy uploaded (view this copy)