#
a424d55e |
|
09-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
licenses: convert license tags to SPDX
|
#
b0f2217a |
|
14-Mar-2018 |
Thomas Sewell <Thomas.Sewell@data61.csiro.au> |
lib/wp: Remove old wp combinator rules. These combinator rules do something like what wp_pre does now. They were helpful in the ancient past, but now that wp_pre exists it is much better to just use automation.
|
#
6b9912c4 |
|
16-Oct-2017 |
Pang Luo <Pang.Luo@data61.csiro.au> |
manually adjust non-obvious cases of tab to space replacement
|
#
184d6b70 |
|
09-Oct-2017 |
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au> |
remove most tab characters
|
#
796887d9 |
|
11-Jul-2017 |
Alejandro Gomez-Londono <alejandro.gomez@nicta.com.au> |
Removes all trailing whitespaces
|
#
41d4aa4f |
|
25-Oct-2016 |
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au> |
Isabelle2016-1: update references to renamed constants and facts
|
#
1b140822 |
|
26-Nov-2015 |
Japheth Lim <Japheth.Lim@nicta.com.au> |
autocorres-crefine: add pre-no-fail flag to corres. Updated AI+Refine.
|
#
07b85fe0 |
|
18-Jul-2014 |
Corey Lewis <corey.lewis@nicta.com.au> |
Move some more lemmas into lib.
|
#
2a03e81d |
|
14-Jul-2014 |
Gerwin Klein <gerwin.klein@nicta.com.au> |
Import release snapshot.
|