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/IsaMakefile
changeset 5305 513925de8962
parent 5272 95cfd872fe66
child 5322 504b129e0502 
--- a/src/HOL/IsaMakefile	Wed Aug 12 16:21:18 1998 +0200
+++ b/src/HOL/IsaMakefile	Wed Aug 12 16:23:25 1998 +0200
@@ -52,7 +52,7 @@
   Tools/datatype_prop.ML Tools/datatype_rep_proofs.ML \
   Tools/inductive_package.ML Tools/primrec_package.ML Tools/record_package.ML \
   Tools/typedef_package.ML Trancl.ML Trancl.thy Univ.ML Univ.thy \
-  Update.ML Update.thy Vimage.ML Vimage.thy WF.ML WF.thy WF_Rel.ML \
+  Vimage.ML Vimage.thy WF.ML WF.thy WF_Rel.ML \
   WF_Rel.thy arith_data.ML cladata.ML equalities.ML \
   equalities.thy hologic.ML mono.ML mono.thy simpdata.ML subset.ML \
   subset.thy thy_syntax.ML
isabelle