HomeIsabelle/Phabricator
Authored by kleing.

Description

merged

Details

Committed
kleingThu, Jun 25, 2:07 PM
Parents
rAFPffad850319cf: Heptapod acknowledgements
rAFP0426e5a56075: Heptapod acknowledgements
Branches
Unknown
Tags
Unknown

Merged Changes

This commit merges a very large number of changes. Only the first 50 are shown.
CommitAuthorDetailsCommitted
ffad850319cfkleing
Heptapod acknowledgements 
Jun 24
5ff7e30065caRene Thiemann
cosmetical change 
Jun 24
831c1c4ea702Julian Brunner
updated benchmarks 
Jun 26
7904a23154fdkleing
adapted to Isabelle 80d7f004089d 
Jun 25
32c1aff4de5dkleing
adapted to Isabelle 80d7f004089d 
Jun 25
50490f5bdc82kleing
merge from afp-2020 
Jun 24
0362f33fb949florian.haftmann
more class operations for the sake of efficient generated code 
Jun 20
d717807c8843florian.haftmann
prefer single name 
Jun 19
d5522275e109florian.haftmann
build bit operations on word on library theory on bit operations 
Jun 18
c47d97b64977florian.haftmann
more instances for uint types 
Jun 18
25bc16f7e44aflorian.haftmann
canonical bit shifts for word type, leaving duplicates as they are at the moment 
Jun 18
ae31a7712d9cflorian.haftmann
dropped yet another duplicate 
Jun 18
20b49280a650florian.haftmann
replaced mere alias by input abbreviation 
Jun 18
cf6da1bed594florian.haftmann
replaced mere alias by abbreviation 
Jun 18
23e6a075730dflorian.haftmann
replaced operation with weak abstraction by input abbreviation 
Jun 18
320af0a4f22cflorian.haftmann
avoid compound operation 
Jun 18
bd201908b618florian.haftmann
replaced mere alias by input abbreviation 
Jun 18
06ca7a66d8aeblanchette
eliminated needless locale 
Jun 16
14cbc379a00bblanchette
more renamings in Saturation Framework 
Jun 16
e2b1021fb667blanchette
renamed locales as discussed with Sophie Tourret 
Jun 16
c2f07427be69blanchette
added file that was part of previous renaming/refactoring 
Jun 16
2f6ec228e270blanchette
renamed file in Saturation_Framework following discussion with Sophie Tourret 
Jun 16
78141c8a7974florian.haftmann
interpretations for boolean operators 
Jun 16
ce21101928d6Asta Halkjær From
Tweak completeness proof 
Jun 15
2c05bbf7e93dmakarius
proper file; 
Jun 10
3929a4fe783cpaulson
stronger * with + cancellation lemmas 
Jun 10
4d493338c3a7florian.haftmann
activate simproc for FOL 
Jun 4
2f1b5352ff77florian.haftmann
more rules for FOL also 
Jun 4
cce073a27f08florian.haftmann
more simp rules 
Jun 4
478526986480Asta Halkjær From
Small abstract correction. 
Jun 3
6ae0a1721daeAsta Halkjær From
Prove completeness of the fully restricted system. 
Jun 3
b5440f7e5a01traytel
simplified Let constructor 
May 28
5a77ba9e257fblanchette
more systematic self-citations 
May 25
da460a208d37paulson
getting rid of inj_on_image_mem_iff_alt 
May 23
d798380a6ca7immler
no need to enforce safety of final interval enclosure 
May 22
25ba40a59673nipkow
adapted to 3e343c0c2138 
May 22
47862306dbbdimmler
recover from unsafe set during Picard iteration 
May 22
944409c54399paulson
new theorems, esp. on order types 
May 21
c6352b79465dblanchette
use lhd and lnull rather than lnth 0 and llength = 0 in IsaFoL 
May 19
12e81252fc8dblanchette
merged two files that used to be split for technical/political reasons 
May 19
00c6b844e775blanchette
more work on liminf llist library 
May 19
9df178c7dd08blanchette
enriched theorem proving library 
May 18
19fa00c4832dkleing
adapt to Isabelle 07c85c68ff03 
May 17
78e7e62b73bdkleing
merge from afp-2020 
May 17
3f26cf4e20e8Christian Sternagel
admin/sitegen (with python3) 
May 15
e6ecfda4c915Christian Sternagel
added email address 
May 15
bca5d31690deblanchette
moved theory files from IsaFoL repository to AFP now that IsaFoR's KBO is in… 
May 15
cd4388702c9bnipkow
New entry Knuth_Bendix_Order 
May 15
2fb9e44335afblanchette
merge 
May 15
1e1d92130953blanchette
added two lemmas 
May 15

Empty Commit

This commit is empty and does not affect any paths.