Revision history — Type theory

1 revision, newest first.

When	Editor	Annotations	Comment
2026-07-08 15:08 UTC	system	65	orphan refresh import