Cross Reference: Type_Class.thy
xref
: /
seL4-l4v-master
/
l4v
/
isabelle
/
src
/
HOL
/
Corec_Examples
/
Tests
/
Type_Class.thy
Home
History
Annotate
Raw
Download
only in
/seL4-l4v-master/l4v/isabelle/src/HOL/Corec_Examples/Tests/
History log of
/seL4-l4v-master/l4v/isabelle/src/HOL/Corec_Examples/Tests/Type_Class.thy
Revision
Date
Author
Comments
#
17bc899d
18-Aug-2017
wenzelm <none@none>
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
#
9feea5aa
30-May-2016
blanchet <none@none>
added test