Revision history for entry Michel, Matthias; Lau, Hakwan: Higher-order theories do just fine [MICHTD-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-11-12T07:56:08update
2020-11-12T07:56:08update
2020-11-12T07:56:07addLocal copy uploaded (view this copy)