diff options
Diffstat (limited to 'EqualProps.thy')
| -rw-r--r-- | EqualProps.thy | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/EqualProps.thy b/EqualProps.thy index 708eb33..f00020f 100644 --- a/EqualProps.thy +++ b/EqualProps.thy @@ -273,4 +273,9 @@ apply (rule assms)+ sorry +section \<open>Transport\<close> + + + + end |