Searched hist:809 (Results 1 - 19 of 19) sorted by relevance

/seL4-l4v-master/HOL4/src/tfl/examples/
H A Dkapur_subradiff 809f1b02 Tue May 01 11:05:02 MDT 2001 Konrad Slind <konrad.slind@gmail.com> Ongoing hacking
/seL4-l4v-master/isabelle/src/HOL/IMP/
H A DFold.thydiff 78a5953f Mon Mar 25 08:18:44 MDT 2013 kleing <none@none> simp_const -> afold; bfold -> fold'; bsimp_const -> bfold

--HG--
extra : rebase_source : 809d44249628a938c24a48f434d061d69ee53f48
/seL4-l4v-master/l4v/isabelle/src/HOL/IMP/
H A DFold.thydiff 78a5953f Mon Mar 25 08:18:44 MDT 2013 kleing <none@none> simp_const -> afold; bfold -> fold'; bsimp_const -> bfold

--HG--
extra : rebase_source : 809d44249628a938c24a48f434d061d69ee53f48
/seL4-l4v-master/isabelle/src/HOL/Library/
H A DState_Monad.thydiff 809afa32 Mon Feb 25 23:59:58 MST 2008 haftmann <none@none> operation collapse
H A DMultiset.thydiff 809cbe4b Wed Mar 14 08:59:39 MDT 2012 wenzelm <none@none> some proof indentation;
/seL4-l4v-master/l4v/isabelle/src/HOL/Library/
H A DState_Monad.thydiff 809afa32 Mon Feb 25 23:59:58 MST 2008 haftmann <none@none> operation collapse
H A DMultiset.thydiff 809cbe4b Wed Mar 14 08:59:39 MDT 2012 wenzelm <none@none> some proof indentation;
/seL4-l4v-master/isabelle/src/Pure/PIDE/
H A Dtext.scaladiff 809e6130 Mon Aug 22 08:12:23 MDT 2011 wenzelm <none@none> added official Text.Range.Ordering;
some support for text perspective;
H A Dmarkup_tree.scaladiff 809e6130 Mon Aug 22 08:12:23 MDT 2011 wenzelm <none@none> added official Text.Range.Ordering;
some support for text perspective;
/seL4-l4v-master/isabelle/src/HOL/Nitpick_Examples/
H A DMono_Nits.thydiff 809d778c Mon Dec 06 05:33:09 MST 2010 blanchet <none@none> added ML code for testing entire theories for monotonicity
/seL4-l4v-master/l4v/isabelle/src/Pure/PIDE/
H A Dtext.scaladiff 809e6130 Mon Aug 22 08:12:23 MDT 2011 wenzelm <none@none> added official Text.Range.Ordering;
some support for text perspective;
H A Dmarkup_tree.scaladiff 809e6130 Mon Aug 22 08:12:23 MDT 2011 wenzelm <none@none> added official Text.Range.Ordering;
some support for text perspective;
/seL4-l4v-master/l4v/isabelle/src/HOL/Nitpick_Examples/
H A DMono_Nits.thydiff 809d778c Mon Dec 06 05:33:09 MST 2010 blanchet <none@none> added ML code for testing entire theories for monotonicity
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/
H A Ddocument_view.scaladiff 809e6130 Mon Aug 22 08:12:23 MDT 2011 wenzelm <none@none> added official Text.Range.Ordering;
some support for text perspective;
H A Ddocument_model.scaladiff 809e6130 Mon Aug 22 08:12:23 MDT 2011 wenzelm <none@none> added official Text.Range.Ordering;
some support for text perspective;
H A Dplugin.scaladiff 809e6130 Mon Aug 22 08:12:23 MDT 2011 wenzelm <none@none> added official Text.Range.Ordering;
some support for text perspective;
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/
H A Ddocument_view.scaladiff 809e6130 Mon Aug 22 08:12:23 MDT 2011 wenzelm <none@none> added official Text.Range.Ordering;
some support for text perspective;
H A Ddocument_model.scaladiff 809e6130 Mon Aug 22 08:12:23 MDT 2011 wenzelm <none@none> added official Text.Range.Ordering;
some support for text perspective;
H A Dplugin.scaladiff 809e6130 Mon Aug 22 08:12:23 MDT 2011 wenzelm <none@none> added official Text.Range.Ordering;
some support for text perspective;

Completed in 510 milliseconds