4 commits

Author	SHA1	Message	Date
Nathan van Doorn	28097a54f1	metamath: 0.171 -> 0.172	2019-01-29 10:58:21 +00:00
Nathan van Doorn	3a096b4616	metamath: 0.168 -> 0.171	2019-01-07 18:38:22 +00:00
Nathan van Doorn	69ee0a80dc	metamath: 0.167 -> 0.168	2018-12-11 09:10:06 +00:00
Nathan van Doorn	395b69a6a0	metamath: init at 0.167	2018-12-09 10:18:25 +00:00