Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
move Refute dependency from Plain to Main
authorblanchet
Fri, 14 May 2010 15:09:37 +0200
changeset 36916 279074271b8e
parent 36915 7c429a484c74
child 36917 8674cdb0b8cc
move Refute dependency from Plain to Main
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Fri May 14 15:07:53 2010 +0200
+++ b/src/HOL/IsaMakefile	Fri May 14 15:09:37 2010 +0200
@@ -161,7 +161,6 @@
   Predicate.thy \
   Product_Type.thy \
   Record.thy \
-  Refute.thy \
   Relation.thy \
   Rings.thy \
   SAT.thy \
@@ -254,6 +253,7 @@
   Random.thy \
   Random_Sequence.thy \
   Recdef.thy \
+  Refute.thy \
   Semiring_Normalization.thy \
   SetInterval.thy \
   Sledgehammer.thy \
isabelle