!
#
#[
%
%_
&
&&
'
(
()
)
*
**
+
++
,
-
->
.
.(
..
...
.1
.2
/
/\
:
::
::=
::>
:=
:>
;
<
<+
<-
<->
<:
<<:
<=
<>
=
=>
>
>->
>=
?
@
@{
Axiom
CoFixpoint
Definition
Fixpoint
Hypothesis
Parameter
Prop
SProp
Set
Theorem
Type
Variable
[
\/
]
^
_
`(
`[
`{
as
at
by
cofix
else
end
exists
exists2
fix
for
forall
fun
if
in
let
match
return
then
using
where
with
{
{|
|
|-
||
}
~
[ Dauer der Verarbeitung: 0.17 Sekunden
(vorverarbeitet)
]
