Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sat, 22 Jun 2019 16:23:25 +0200 made LaTeX happy
changeset
haftmann [Sat, 22 Jun 2019 16:23:25 +0200] rev 70357
made LaTeX happy
Sat, 22 Jun 2019 07:18:55 +0000 streamlined setup for linear algebra, particularly removed redundant rule declarations
changeset
haftmann [Sat, 22 Jun 2019 07:18:55 +0000] rev 70356
streamlined setup for linear algebra, particularly removed redundant rule declarations
Sat, 22 Jun 2019 06:25:34 +0000 tuned
changeset
haftmann [Sat, 22 Jun 2019 06:25:34 +0000] rev 70355
tuned
Fri, 21 Jun 2019 18:55:00 +0000 tuned
changeset
haftmann [Fri, 21 Jun 2019 18:55:00 +0000] rev 70354
tuned
Sun, 16 Jun 2019 16:40:57 +0000 even more appropriate fact name
changeset
haftmann [Sun, 16 Jun 2019 16:40:57 +0000] rev 70353
even more appropriate fact name
Sun, 16 Jun 2019 16:40:57 +0000 more correct indicator
changeset
haftmann [Sun, 16 Jun 2019 16:40:57 +0000] rev 70352
more correct indicator
Fri, 14 Jun 2019 12:29:50 +0200 make latex happy
changeset
haftmann [Fri, 14 Jun 2019 12:29:50 +0200] rev 70351
make latex happy
Fri, 14 Jun 2019 08:34:28 +0000 moved some theorems into HOL main corpus
changeset
haftmann [Fri, 14 Jun 2019 08:34:28 +0000] rev 70350
moved some theorems into HOL main corpus
Fri, 14 Jun 2019 08:34:28 +0000 misc tuning and modernization
changeset
haftmann [Fri, 14 Jun 2019 08:34:28 +0000] rev 70349
misc tuning and modernization
Fri, 14 Jun 2019 08:34:28 +0000 more theorems for proof of concept for word type
changeset
haftmann [Fri, 14 Jun 2019 08:34:28 +0000] rev 70348
more theorems for proof of concept for word type
Fri, 14 Jun 2019 08:34:28 +0000 official fact collection sign_simps
changeset
haftmann [Fri, 14 Jun 2019 08:34:28 +0000] rev 70347
official fact collection sign_simps
Fri, 14 Jun 2019 08:34:28 +0000 tuned proofs
changeset
haftmann [Fri, 14 Jun 2019 08:34:28 +0000] rev 70346
tuned proofs
Fri, 14 Jun 2019 08:34:27 +0000 avoid pseudo-collection to be used in generated proofs
changeset
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70345
avoid pseudo-collection to be used in generated proofs
Fri, 14 Jun 2019 08:34:27 +0000 moved comment to approproiate place
changeset
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70344
moved comment to approproiate place
Fri, 14 Jun 2019 08:34:27 +0000 removed outcommented example which seems not to work as advertized
changeset
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70343
removed outcommented example which seems not to work as advertized
Fri, 14 Jun 2019 08:34:27 +0000 clear separation of types for bits (False / True) and Z2 (0 / 1)
changeset
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70342
clear separation of types for bits (False / True) and Z2 (0 / 1)
Fri, 14 Jun 2019 08:34:27 +0000 generalized type classes for parity to cover word types also, which contain zero divisors
changeset
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70341
generalized type classes for parity to cover word types also, which contain zero divisors
Fri, 14 Jun 2019 08:34:27 +0000 slightly more specialized name for type class
changeset
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70340
slightly more specialized name for type class
Fri, 14 Jun 2019 08:34:27 +0000 dropped weaker legacy alias
changeset
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70339
dropped weaker legacy alias
Fri, 14 Jun 2019 08:34:27 +0000 slightly more stringent ordering of theorems
changeset
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70338
slightly more stringent ordering of theorems
Fri, 14 Jun 2019 08:34:27 +0000 removed relics of ASCII syntax for indexed big operators
changeset
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70337
removed relics of ASCII syntax for indexed big operators
Fri, 14 Jun 2019 08:34:27 +0000 dropped former legacy input abbreviations
changeset
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70336
dropped former legacy input abbreviations
Fri, 14 Jun 2019 08:34:27 +0000 using (*)-syntax for partially applied infix is fine, contrary to ancient op-syntax
changeset
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70335
using (*)-syntax for partially applied infix is fine, contrary to ancient op-syntax
Fri, 14 Jun 2019 08:34:27 +0000 prefer fixed simpset for proof procedure
changeset
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70334
prefer fixed simpset for proof procedure
Fri, 14 Jun 2019 08:34:27 +0000 tuned file system structure
changeset
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70333
tuned file system structure
Fri, 14 Jun 2019 08:34:27 +0000 avoid spammed sledgehammer proofs
changeset
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70332
avoid spammed sledgehammer proofs
Tue, 11 Jun 2019 18:33:27 +0200 added lemmas
changeset
nipkow [Tue, 11 Jun 2019 18:33:27 +0200] rev 70331
added lemmas
Sun, 09 Jun 2019 22:23:41 +0200 proper URL;
changeset
wenzelm [Sun, 09 Jun 2019 22:23:41 +0200] rev 70330
proper URL;
Sun, 09 Jun 2019 22:22:36 +0200 merged;
changeset
wenzelm [Sun, 09 Jun 2019 22:22:36 +0200] rev 70329
merged;
Sun, 09 Jun 2019 20:24:16 +0200 Added tag Isabelle2019 for changeset 83774d669b51
changeset
wenzelm [Sun, 09 Jun 2019 20:24:16 +0200] rev 70328
Added tag Isabelle2019 for changeset 83774d669b51
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip
isabelle