Stream IsaFoL

• hello
• Formalizing equality literals
• generating documentation
• LPAR accepted paper
• license