CLASS

GenJava7$1FlazyFun_28354

Fully qualified name:	frege.compiler.GenJava7$1FlazyFun_28354
Containing JAR files:	JAR frege-3.22.324-g630677b.jar in com/theoryinpractise/frege/frege/3.22.324-g630677b Latest JAR frege-3.21.586-g026e8d7.jar in com/theoryinpractise/frege/frege/3.21.586-g026e8d7 JAR frege-3.23.401-g7c45277.jar in org/frege-lang/frege/3.23.401-g7c45277