rewire-embedder-2.8: A ReWire-to-Isabelle embedder (Index - Q)

rewire-embedder-2.8: A ReWire-to-Isabelle embedder

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
$
|
All

Index - Q

qn2rwu	Embedder.Builtins
QName
1 (Type/Class)	Embedder.Isabelle.Syntax
2 (Data Constructor)	Embedder.Isabelle.Syntax
qname	Embedder.Isabelle.Syntax
QNamish	ReWire.HSE.Rename
qnamish	ReWire.HSE.Rename
qualifiers	Embedder.Isabelle.Syntax