isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip

Sun, 29 Dec 2013 23:21:12 +0100 more succint formulation of special case

haftmann [Sun, 29 Dec 2013 23:21:12 +0100] rev 54876

more succint formulation of special case

Sun, 29 Dec 2013 23:21:11 +0100 tuned whitespace

haftmann [Sun, 29 Dec 2013 23:21:11 +0100] rev 54875

tuned whitespace

Sat, 28 Dec 2013 21:06:26 +0100 move instantiation here from AFP/Native_Word

haftmann [Sat, 28 Dec 2013 21:06:26 +0100] rev 54874

move instantiation here from AFP/Native_Word

Sat, 28 Dec 2013 21:06:25 +0100 dropped junk

haftmann [Sat, 28 Dec 2013 21:06:25 +0100] rev 54873

dropped junk

Sat, 28 Dec 2013 21:06:24 +0100 postpone dis"useful" lemmas

haftmann [Sat, 28 Dec 2013 21:06:24 +0100] rev 54872

postpone dis"useful" lemmas

Sat, 28 Dec 2013 21:06:22 +0100 cleanup

haftmann [Sat, 28 Dec 2013 21:06:22 +0100] rev 54871

cleanup

Sat, 28 Dec 2013 17:51:54 +0100 prefix disambiguation

haftmann [Sat, 28 Dec 2013 17:51:54 +0100] rev 54870

prefix disambiguation

Fri, 27 Dec 2013 20:35:32 +0100 tuned proofs and declarations

haftmann [Fri, 27 Dec 2013 20:35:32 +0100] rev 54869

tuned proofs and declarations

Fri, 27 Dec 2013 14:35:14 +0100 prefer target-style syntaxx for sublocale

haftmann [Fri, 27 Dec 2013 14:35:14 +0100] rev 54868

prefer target-style syntaxx for sublocale

Thu, 26 Dec 2013 22:47:49 +0100 prefer ephemeral interpretation over interpretation in proof contexts;

haftmann [Thu, 26 Dec 2013 22:47:49 +0100] rev 54867

prefer ephemeral interpretation over interpretation in proof contexts; prefer context begin ... end blocks for often-occuring assumptions; slightly more complete interpretations into abstract algebraic structures for gcd/lcm

(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip

isabelle