| #
a424d55e |
|
09-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
licenses: convert license tags to SPDX
|
| #
aba40519 |
|
03-Feb-2019 |
Japheth Lim <Japheth.Lim@data61.csiro.au> |
lib: fix mixfix syntax for upto_enum
The previous version didn't have whitespace around the “.e.”, which
caused printed terms to be misparsed as qualified names.
|
| #
04f4336a |
|
23-Jun-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Word_Lib: sync with AFP
|
| #
62b0ab20 |
|
24-Jun-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Word_Lib: consolidate LemmaBucket and Lib lemmas into Word_Lib
|
| #
7f3fa50a |
|
09-Jun-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
lib/Word_Lib: sync with AFP
|
| #
e2ae586a |
|
13-May-2016 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
word_lib: AFP document setup
|
| #
09117a69 |
|
13-May-2016 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
word_lib: run isabelle update_then for new style and fun
|
| #
dd78d143 |
|
13-May-2016 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
word_lib: prettify Enumeration.thy
|
| #
322f1023 |
|
18-Apr-2016 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
word_lib: adjust theory dependencies
|
| #
84b923a6 |
|
17-Apr-2016 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
lib: start disentangling spaghetti word dependencies
|