ConcurrentHOL.Lifted_Predicates

HTML Presentation