diff options
| author | Jon French | 2018-05-10 13:14:20 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-10 13:14:20 +0100 |
| commit | c197e5808e3a6e52820ac28dc4f12aa8d6ba469f (patch) | |
| tree | 3c677663b51fc694961d29aecce30541bc23821e /lib/isabelle/document/root.tex | |
| parent | 2fd802b56d098f547420621b92e7372ec7f55842 (diff) | |
rtype mapping clauses
Diffstat (limited to 'lib/isabelle/document/root.tex')
0 files changed, 0 insertions, 0 deletions