Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IMP/ROOT.ML
changeset 45110 305f83b6da54
parent 44932 7c93ee993cae
child 45111 054a9ac0d7ef 
--- a/src/HOL/IMP/ROOT.ML	Mon Sep 26 21:13:26 2011 +0200
+++ b/src/HOL/IMP/ROOT.ML	Wed Sep 28 08:51:55 2011 +0200
@@ -15,10 +15,10 @@
  "Def_Ass_Sound_Big",
  "Def_Ass_Sound_Small",
  "Live",
- "AbsInt2",
  "Hoare_Examples",
  "VC",
  "HoareT",
+ "Abs_Int_Den/Abs_Int2",
  "Procs_Dyn_Vars_Dyn",
  "Procs_Stat_Vars_Dyn",
  "Procs_Stat_Vars_Stat",
isabelle