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.
missing file;
authorwenzelm
Tue, 01 Mar 2016 10:32:55 +0100
changeset 62480 f2e8984adef7
parent 62479 716336f19aa9
child 62481 b5d8e57826df
child 62483 c13dac251a81
missing file;
src/HOL/Nonstandard_Analysis/Nonstandard_Analysis.thy file | annotate | diff | comparison | revisions 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Nonstandard_Analysis/Nonstandard_Analysis.thy	Tue Mar 01 10:32:55 2016 +0100
@@ -0,0 +1,13 @@
+(*  Title:      HOL/Nonstandard_Analysis/Nonstandard_Analysis.thy
+    Author:     Jacques D. Fleuriot, University of Cambridge
+    Author:     Lawrence C Paulson, University of Cambridge
+    Author:     Brian Huffman
+
+Nonstandard analysis.
+*)
+
+theory Nonstandard_Analysis
+imports Hypercomplex
+begin
+
+end
\ No newline at end of file
isabelle