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.
tuned;
authorwenzelm
Fri, 28 Sep 2001 21:45:40 +0200
changeset 11639 4213422388c4
parent 11638 2c3dee321b4b
child 11640 be1bc3b88480
tuned;
src/HOL/Lambda/InductTermi.thy file | annotate | diff | comparison | revisions
src/HOL/Lambda/ListBeta.thy file | annotate | diff | comparison | revisions
src/HOL/Lambda/ListOrder.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Lambda/InductTermi.thy	Fri Sep 28 21:45:11 2001 +0200
+++ b/src/HOL/Lambda/InductTermi.thy	Fri Sep 28 21:45:40 2001 +0200
@@ -114,4 +114,4 @@
    apply force
    done
 
-end
\ No newline at end of file
+end
--- a/src/HOL/Lambda/ListBeta.thy	Fri Sep 28 21:45:11 2001 +0200
+++ b/src/HOL/Lambda/ListBeta.thy	Fri Sep 28 21:45:40 2001 +0200
@@ -109,4 +109,4 @@
   apply blast
   done
 
-end
\ No newline at end of file
+end
--- a/src/HOL/Lambda/ListOrder.thy	Fri Sep 28 21:45:11 2001 +0200
+++ b/src/HOL/Lambda/ListOrder.thy	Fri Sep 28 21:45:40 2001 +0200
@@ -121,4 +121,4 @@
   apply blast
   done
 
-end
\ No newline at end of file
+end
isabelle