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.
removed ex/NBE.thy;
authorwenzelm
Wed, 20 Feb 2008 23:14:59 +0100
changeset 26103 b9fc7ac04c8b
parent 26102 2ae572207783
child 26104 200b4e401e65
removed ex/NBE.thy;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Wed Feb 20 18:28:16 2008 +0100
+++ b/src/HOL/IsaMakefile	Wed Feb 20 23:14:59 2008 +0100
@@ -680,7 +680,7 @@
   ex/InductiveInvariant.thy ex/InductiveInvariant_examples.thy \
   ex/Intuitionistic.thy ex/Lagrange.thy ex/Locales.thy ex/LocaleTest2.thy \
   ex/MT.thy ex/MergeSort.thy ex/MonoidGroup.thy ex/Multiquote.thy \
-  ex/NatSum.thy ex/NBE.thy ex/PER.thy ex/PresburgerEx.thy ex/Primrec.thy \
+  ex/NatSum.thy ex/PER.thy ex/PresburgerEx.thy ex/Primrec.thy \
   ex/Puzzle.thy ex/Quickcheck_Examples.thy \
   ex/Reflection.thy ex/reflection_data.ML ex/ReflectionEx.thy ex/ROOT.ML ex/Recdefs.thy \
   ex/Records.thy ex/Reflected_Presburger.thy ex/coopertac.ML ex/coopereif.ML \
isabelle