Mercurial
isabelle
/ annotate
summary
|
shortlog
|
changelog
|
graph
|
tags
|
branches
|
files
|
changeset
|
file
|
revisions
| annotate |
diff
|
raw
src/HOL/base.ML
author
huffman
Sat Jun 06 09:11:12 2009 -0700 (2009-06-06)
changeset 31488
5691ccb8d6b5
parent 30929
d9343c0aac11
child 33615
261abc2e3155
permissions
-rw-r--r--
generalize tendsto to class topological_space
haftmann@29505
1
(*side-entry for HOL-Base*)
haftmann@30929
2
use_thy "HOL";