Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/ex/Bit_Lists.thy
Mon, 11 Nov 2019 07:16:17 +0000
haftmann
tuned order between theories
file
|
diff
|
annotate
Sat, 09 Nov 2019 15:39:21 +0000
haftmann
bit shifts as class operations
file
|
diff
|
annotate
Mon, 04 Nov 2019 20:38:15 +0000
haftmann
proof-of-concept theory for bit operations without a constructivistic representation and a minimal common logical foundation
file
|
diff
|
annotate
Tue, 22 Oct 2019 19:07:12 +0000
haftmann
bit operations form an boolean algebra
file
|
diff
|
annotate
Sat, 19 Oct 2019 20:41:09 +0200
haftmann
refined proof of concept for bit operations
file
|
diff
|
annotate
Sun, 16 Jun 2019 16:40:57 +0000
haftmann
even more appropriate fact name
file
|
diff
|
annotate
Fri, 14 Jun 2019 08:34:27 +0000
haftmann
slightly more specialized name for type class
file
|
diff
|
annotate
Fri, 14 Jun 2019 08:34:27 +0000
haftmann
dropped weaker legacy alias
file
|
diff
|
annotate
Wed, 21 Mar 2018 20:17:25 +0100
haftmann
proof of concept for algebraically founded bit lists
file
|
diff
|
annotate
less
more
(0)
tip