3 Commits

Include renames

Author	SHA1	Message	Date
andy	c878378375	Theorem title	2026-01-09 13:05:22 -05:00
andy	97fa31b33e	Recitation 1	2026-01-09 13:00:22 -05:00
andy	279dd5196e	Update to PreTeXt project source.	2026-01-09 12:51:06 -05:00