[Isarmathlib-devel] new presentation of IsarMathLib

[Slawomir Kolodynski]

I have created a new IsarMathLib prezentation at formalmath.org . This will 
probably replace the Tiddly Formal Math site 
(http://formalmath.tiddlyspot.com/) .
There is one issue I don't know how to resolve. Some proofs don't want to 
expand on click. This happens rarely, about one in 20 proofs. See lemma  
func1_1_L12 in http://formalmath.org/func1.html for an example of this. If you 
can an idea what might be happening there, please let me know.

Slawekk