index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
etc
/
isar
/
multiple
/
B.thy
blob: 2828c655ae6f4d9f11a79f12115d5c3a874f5b84 (
plain
)
1
2
3
4
theory
B
=
Pure
:
;
end
;
