adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Isabelle2016-1: update AutoCorres READMEs

This commit is contained in:
Gerwin Klein 2017-01-07 14:22:15 +01:00
parent 1e6686d66c
commit 7fc499be53
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/autocorres/README.md
View File

@ -29,7 +29,7 @@ Contents of this README
Installation
------------
AutoCorres is packaged as a theory for Isabelle2016:
AutoCorres is packaged as a theory for Isabelle2016-1:
https://isabelle.in.tum.de

2
tools/autocorres/tools/release_files/README
View File

@ -28,7 +28,7 @@ Contents of this README
Installation
------------
AutoCorres is packaged as a theory for Isabelle2016:
AutoCorres is packaged as a theory for Isabelle2016-1:
https://isabelle.in.tum.de