src/HOL/SPARK/Examples/README
author Manuel Eberl <eberlm@in.tum.de>
Fri, 13 Jul 2018 18:27:18 +0100
changeset 68625 2ec84498f562
parent 41561 d1318f3c86ba
permissions -rwxr-xr-x
HOL-Analysis: Volume of a simplex, Heron's theorem

The copyright notice contained in the *.siv, *.fdl, and *.rls files in
the example subdirectories refers to the tools that have been used to
generate the files, but not to the files themselves.