Added inline Changelot to each theory file.
This commit is contained in:
parent
b0f0d93440
commit
1a88f7c6c3
15
Assert.thy
15
Assert.thy
|
@ -28,6 +28,21 @@
|
||||||
* Dependencies: None
|
* Dependencies: None
|
||||||
***********************************************************************************)
|
***********************************************************************************)
|
||||||
|
|
||||||
|
(***********************************************************************************
|
||||||
|
|
||||||
|
# Changelog
|
||||||
|
|
||||||
|
This comment documents all notable changes to this file in a format inspired by
|
||||||
|
[Keep a Changelog](https://keepachangelog.com/en/1.0.0/), and this project adheres
|
||||||
|
to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
|
||||||
|
|
||||||
|
## [Unreleased]
|
||||||
|
|
||||||
|
## [1.0.0] - 2018-06-16
|
||||||
|
- Initial release
|
||||||
|
|
||||||
|
***********************************************************************************)
|
||||||
|
|
||||||
chapter\<open>An Assertion Framework for Isabelle\<close>
|
chapter\<open>An Assertion Framework for Isabelle\<close>
|
||||||
theory
|
theory
|
||||||
"Assert"
|
"Assert"
|
||||||
|
|
|
@ -29,6 +29,21 @@
|
||||||
* not required for providing the functionality of this hack)
|
* not required for providing the functionality of this hack)
|
||||||
***********************************************************************************)
|
***********************************************************************************)
|
||||||
|
|
||||||
|
(***********************************************************************************
|
||||||
|
|
||||||
|
# Changelog
|
||||||
|
|
||||||
|
This comment documents all notable changes to this file in a format inspired by
|
||||||
|
[Keep a Changelog](https://keepachangelog.com/en/1.0.0/), and this project adheres
|
||||||
|
to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
|
||||||
|
|
||||||
|
## [Unreleased]
|
||||||
|
|
||||||
|
## [1.0.0] - 2017-06-25
|
||||||
|
- Initial release
|
||||||
|
|
||||||
|
***********************************************************************************)
|
||||||
|
|
||||||
chapter\<open>Using Print and Parse Translations for Hiding Type Variables\<close>
|
chapter\<open>Using Print and Parse Translations for Hiding Type Variables\<close>
|
||||||
theory
|
theory
|
||||||
"Hiding_Type_Variables"
|
"Hiding_Type_Variables"
|
||||||
|
|
|
@ -29,6 +29,21 @@
|
||||||
* not required for providing the functionality of this hack)
|
* not required for providing the functionality of this hack)
|
||||||
***********************************************************************************)
|
***********************************************************************************)
|
||||||
|
|
||||||
|
(***********************************************************************************
|
||||||
|
|
||||||
|
# Changelog
|
||||||
|
|
||||||
|
This comment documents all notable changes to this file in a format inspired by
|
||||||
|
[Keep a Changelog](https://keepachangelog.com/en/1.0.0/), and this project adheres
|
||||||
|
to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
|
||||||
|
|
||||||
|
## [Unreleased]
|
||||||
|
|
||||||
|
## [1.0.0] - 2019-01-21
|
||||||
|
- Initial release
|
||||||
|
|
||||||
|
***********************************************************************************)
|
||||||
|
|
||||||
chapter\<open>An Import/Export of JSON-like Formats for Isabelle/HOL\<close>
|
chapter\<open>An Import/Export of JSON-like Formats for Isabelle/HOL\<close>
|
||||||
theory
|
theory
|
||||||
"Nano_JSON"
|
"Nano_JSON"
|
||||||
|
|
Loading…
Reference in New Issue