Sun, 16 Oct 2016 09:31:05 +0200 eliminated irregular aliasses
haftmann [Sun, 16 Oct 2016 09:31:05 +0200] rev 64243
eliminated irregular aliasses
Sun, 16 Oct 2016 09:31:05 +0200 more standardized theorem names for facts involving the div and mod identity
haftmann [Sun, 16 Oct 2016 09:31:05 +0200] rev 64242
more standardized theorem names for facts involving the div and mod identity
Sun, 16 Oct 2016 09:31:04 +0200 transfer rules for divides relation on integer and natural
haftmann [Sun, 16 Oct 2016 09:31:04 +0200] rev 64241
transfer rules for divides relation on integer and natural
Sun, 16 Oct 2016 09:31:04 +0200 more standardized names
haftmann [Sun, 16 Oct 2016 09:31:04 +0200] rev 64240
more standardized names
Sun, 16 Oct 2016 09:31:03 +0200 added lemma
haftmann [Sun, 16 Oct 2016 09:31:03 +0200] rev 64239
added lemma
Sun, 16 Oct 2016 09:31:03 +0200 de-orphanized declaration
haftmann [Sun, 16 Oct 2016 09:31:03 +0200] rev 64238
de-orphanized declaration
Sat, 15 Oct 2016 23:07:47 +0200 tuned;
wenzelm [Sat, 15 Oct 2016 23:07:47 +0200] rev 64237
tuned;
Sat, 15 Oct 2016 22:45:27 +0200 discontinued somewhat pointless cronjob.options -- compile-time constants are sufficient;
wenzelm [Sat, 15 Oct 2016 22:45:27 +0200] rev 64236
discontinued somewhat pointless cronjob.options -- compile-time constants are sufficient;
Sat, 15 Oct 2016 22:24:04 +0200 timeout as in former isatest-makeall;
wenzelm [Sat, 15 Oct 2016 22:24:04 +0200] rev 64235
timeout as in former isatest-makeall;
Sat, 15 Oct 2016 21:59:35 +0200 more robust quasi-unique name;
wenzelm [Sat, 15 Oct 2016 21:59:35 +0200] rev 64234
more robust quasi-unique name;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip