~xavierb/automath-general

No patches have been posted to this list yet.