Cross Reference: README
xref
: /
seL4-l4v-master
/
isabelle
/
src
/
Tools
/
IsaPlanner
/
README
Home
History
Annotate
Raw
Download
only in
/seL4-l4v-master/isabelle/src/Tools/IsaPlanner/
History log of
/seL4-l4v-master/isabelle/src/Tools/IsaPlanner/README
Revision
Date
Author
Comments
#
121e82fb
04-Mar-2009
blanchet <none@none>
Merge.
#
8d51a9fd
28-Feb-2009
wenzelm <none@none>
removed Ids;
#
2907ad77
31-May-2007
wenzelm <none@none>
moved IsaPlanner from Provers to Tools;