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.
added lattice_locales
authornipkow
Wed, 09 Feb 2005 18:51:02 +0100
changeset 15513 1a2aedd20d37
parent 15512 ed1fa4617f52
child 15514 a8b4c9a87e85
added lattice_locales
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Wed Feb 09 18:50:09 2005 +0100
+++ b/src/HOL/IsaMakefile	Wed Feb 09 18:51:02 2005 +0100
@@ -91,7 +91,7 @@
   Integ/IntDiv.thy Integ/NatBin.thy Integ/NatSimprocs.thy Integ/Parity.thy \
   Integ/int_arith1.ML Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML \
   Integ/Presburger.thy Integ/presburger.ML Integ/qelim.ML \
-  Lfp.thy List.ML List.thy Main.ML Main.thy Map.thy\
+  Lattice_Locales.thy Lfp.thy List.ML List.thy Main.ML Main.thy Map.thy\
   Nat.ML Nat.thy NatArith.thy Power.thy PreList.thy Product_Type.thy \
   Refute.thy ROOT.ML \
   Recdef.thy Reconstruction.thy Record.thy Relation.ML Relation.thy \
isabelle