Cross Reference: /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/simplifier_trace.scala

Cross Reference: simplifier_trace.scala

xref: /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/simplifier_trace.scala

Home
History
Annotate
Line#
Navigate
Raw
Download
only in /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/

simplifier_trace.scala revision ec15be7b

Indexes created Fri Jul 05 22:58:02 MDT 2024