Fri, 11 Oct 2019 21:34:37 +0200 tuned signature;
wenzelm [Fri, 11 Oct 2019 21:34:37 +0200] rev 71027
tuned signature;
Fri, 11 Oct 2019 21:23:06 +0200 misc tuning and clarification;
wenzelm [Fri, 11 Oct 2019 21:23:06 +0200] rev 71026
misc tuning and clarification;
Fri, 11 Oct 2019 19:35:59 +0200 proper treatment of axm_proof/oracle_proof like a closed proof constant, e.g. relevant for proof reconstruction of List.list.full_exhaustive_list.simps;
wenzelm [Fri, 11 Oct 2019 19:35:59 +0200] rev 71025
proper treatment of axm_proof/oracle_proof like a closed proof constant, e.g. relevant for proof reconstruction of List.list.full_exhaustive_list.simps;
Fri, 11 Oct 2019 18:26:35 +0200 clarified oracle_proof;
wenzelm [Fri, 11 Oct 2019 18:26:35 +0200] rev 71024
clarified oracle_proof;
Fri, 11 Oct 2019 16:40:33 +0200 tuned;
wenzelm [Fri, 11 Oct 2019 16:40:33 +0200] rev 71023
tuned;
Fri, 11 Oct 2019 16:32:52 +0200 tuned;
wenzelm [Fri, 11 Oct 2019 16:32:52 +0200] rev 71022
tuned;
Fri, 11 Oct 2019 16:28:36 +0200 tuned;
wenzelm [Fri, 11 Oct 2019 16:28:36 +0200] rev 71021
tuned;
Fri, 11 Oct 2019 15:36:32 +0200 clarified signature;
wenzelm [Fri, 11 Oct 2019 15:36:32 +0200] rev 71020
clarified signature;
Fri, 11 Oct 2019 11:16:36 +0200 tuned signature;
wenzelm [Fri, 11 Oct 2019 11:16:36 +0200] rev 71019
tuned signature;
Thu, 10 Oct 2019 16:51:47 +0200 more compact XML representation;
wenzelm [Thu, 10 Oct 2019 16:51:47 +0200] rev 71018
more compact XML representation;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip