src/HOL/Library/Debug.thy
Sun, 22 Jul 2012 09:56:34 +0200 haftmann library theories for debugging and parallel computing using code generation towards Isabelle/ML
less more (0) tip