Admin/Benchmarks/HOL-datatype/Verilog.thy
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Fri, 27 Aug 1999 10:54:31 +0200 wenzelm better timing information;
Fri, 16 Jul 1999 12:02:06 +0200 berghofe Some rather large datatype examples (from John Harrison).
less more (0) tip