isabelle: Changelog

haftmann [Sun, 16 Oct 2016 09:31:05 +0200] rev 64242

more standardized theorem names for facts involving the div and mod identity

haftmann [Sun, 16 Oct 2016 09:31:04 +0200] rev 64241

transfer rules for divides relation on integer and natural

haftmann [Sun, 16 Oct 2016 09:31:04 +0200] rev 64240

more standardized names

haftmann [Sun, 16 Oct 2016 09:31:03 +0200] rev 64239

added lemma

haftmann [Sun, 16 Oct 2016 09:31:03 +0200] rev 64238

de-orphanized declaration

wenzelm [Sat, 15 Oct 2016 23:07:47 +0200] rev 64237

tuned;

wenzelm [Sat, 15 Oct 2016 22:45:27 +0200] rev 64236

discontinued somewhat pointless cronjob.options -- compile-time constants are sufficient;

wenzelm [Sat, 15 Oct 2016 22:24:04 +0200] rev 64235

timeout as in former isatest-makeall;

wenzelm [Sat, 15 Oct 2016 21:59:35 +0200] rev 64234

more robust quasi-unique name;

wenzelm [Sat, 15 Oct 2016 21:37:19 +0200] rev 64233

clarified signature: more static types;

isabelle