[isabelle] simprocs for transitive closures of finite relations



Dear all,

as part of an answer to a question on Stackoverflow


http://stackoverflow.com/questions/25622999/calculating-transitive-closures

I wrote my first simproc


http://afp.sourceforge.net/browser_info/devel/AFP/Transitive-Closure/Finite_Transitive_Closure_Simprocs.html

I would be grateful for any comments by seasoned simproc writers.

And a more general question: Are methods (tactics, simprocs, ...) that use "eval" in some way or another to be avoided? (I can't quite recall whether "regexp" relies on "eval".)

cheers

chris




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.