2018-06-14 18:22:45 +00:00
|
|
|
# Isabelle Hacks
|
|
|
|
|
2018-06-16 22:57:35 +00:00
|
|
|
This project contains small Isabelle "hacks" that provide additional
|
|
|
|
functionality to (Isabelle)[https://isabelle.in.tum.de] or showcase
|
|
|
|
specific functionality. The individual hacks usually consist out of
|
|
|
|
a single theory file and all documentation is contained in that
|
|
|
|
theory file. The master branch should work with the latest official
|
|
|
|
release of Isabelle (Isabelle 2017, at time of writing), hacks for
|
|
|
|
older versions might be available on a dedicated branch.
|
|
|
|
|
|
|
|
## List of Isabelle Hacks
|
|
|
|
|
|
|
|
* [assert.thy] provides a new top level command **assert** that
|
|
|
|
provides a simple way for specifying assertions that Isabelle
|
|
|
|
checks while processing a theory.
|
2018-06-14 18:22:45 +00:00
|
|
|
|
|
|
|
## License
|
2018-06-16 22:57:35 +00:00
|
|
|
If not otherwise stated, all hacks are licensed under a 2-clause
|
|
|
|
BSD-style license.
|
2018-06-14 18:22:45 +00:00
|
|
|
|
|
|
|
SPDX-License-Identifier: BSD-2-Clause
|
|
|
|
|
2018-06-16 22:57:35 +00:00
|
|
|
## Master Repository
|
|
|
|
|
|
|
|
The master git repository for this project is hosted by the (Software
|
|
|
|
Assurance & Security Research Team)[https://logicalhacking.com]:
|
|
|
|
[https://git.logicalhacking.com/adbrucker/isabelle-hacks]
|