[isabelle] verilog.thy



In ~/src/HOL/Datatype_Benchmark, there is a verilog.thy.
Who write it?
Is there any parser which transforms verilog code to such a datatype?





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