frege.run

Interfaces

• Kind.B
• Kind.IX
• Kind.Q
• Kind.T
• Kind.U
• Kind.V
• Kind.VI
• Kind.VII
• Kind.VIII
• Kind.X
• Kind.XI
• Kind.XII
• Kind.XIII
• Kind.XIV
• Kind.XIX
• Kind.XV
• Kind.XVI
• Kind.XVII
• Kind.XVIII
• Kind.XX
• Kind.XXI
• Kind.XXII
• Kind.XXIII
• Kind.XXIV
• Kind.XXV
• Kind.XXVI
• Kind.XXVII

Classes

• Kind
• RunTM