If you need a more complex connection string, you have
safsdev.sourceforge.net
SEP 12, 2003 (bnat) Added DDU_COPY_DB_TABLE_TO_FILE to GUI BYPASS
safsdev.sourceforge.net
import Lookup type Key def type Key = String op present : Database
www.specware.org
... real: real string : string booleen : type -> bool
pvs.csl.sri.com
The format string f works on the same kind of principle as
www.b-core.com
The goal is given as a ML-string. goal returns the premises of formula,
www.ubka.uni-karlsruhe.de
... and its extracted term is of type (b:nat)(a:nat) (diveucl a b), ... Here
www.iist.unu.edu
A string: low 1st, Bb. normal 1st, B nat. High 1st B#(C). Low 2nd C nat.
en.allexperts.com
The theme to BNAT this year was "This time, you bleed..."
brendoman.com