This repository has been archived on 2020-12-18. You can view files and clone it, but cannot push or open issues or pull requests.

Michael Herzberg 9197e60e25 Improved benchmarking infrastructure.		2019-12-09 13:10:17 +00:00
..
Heap_Error_Monad.thy	Added more heap-related methods.	2019-07-23 00:02:04 +01:00
Hiding_Type_Variables.thy	Added support for multiple sorts in shortened type variables.	2019-07-25 16:27:10 +01:00
Testing_Utils.thy	Improved benchmarking infrastructure.	2019-12-09 13:10:17 +00:00