diff options
author | Josh Chen | 2018-09-17 16:00:56 +0200 |
---|---|---|
committer | Josh Chen | 2018-09-17 16:00:56 +0200 |
commit | 49c008ef405ab8d8229ae1d5b0737339ee46e576 (patch) | |
tree | f8c3439506356f69c29817e0488574467fc41cb1 /HoTT_Base.thy | |
parent | 8e4ca285430c7bcdabbd4ea34da38e0770f4a832 (diff) |
Clean up Equal.thy + some other tweaks
Diffstat (limited to 'HoTT_Base.thy')
-rw-r--r-- | HoTT_Base.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/HoTT_Base.thy b/HoTT_Base.thy index efc6182..17e3142 100644 --- a/HoTT_Base.thy +++ b/HoTT_Base.thy @@ -77,7 +77,7 @@ Declare named theorems to be used by proof methods defined in @{file HoTT_Method These are used by the \<open>compute\<close> method, and may also be passed to invocations of the method \<open>subst\<close> to perform equational rewriting. \<close> -(* Todo: Set up the simplifier! *) +(* Todo: Set up the Simplifier! *) end |