Look up: Isabelle

1. Isabelle
   Isabelle is a French girl name. The meaning of the name is `Consecrated to God ` Where is it used? The name Isabelle is mainly used In English, French and In German.How do they say it elsewhere? Isabel ( In Spanish, Portuguese, French and In English) Iseabail ( In Scottish) Isobel ( In Scottish) Isabella ( In English, Italian, Spanish and
   Found on http://i-am-pregnant.com/names/girls/Isa
   
   
2. Isabelle
   (theory, tool) A generic theorem prover with support for several object-logics, developed by Lawrence C. Paulson (Larry.Paulson@cl.cam.ac.uk) in collaboration with Tobias Nipkow (http://in.tum.de/~nipkow/) at the Technical University of Munich. A system of type classes allows polymorphic object-logi...
   Found on http://foldoc.org/Isabelle
   
   
3. Isabelle
   (theorem prover) The `Isabelle theorem prover` is an interactive theorem proving framework, a successor of the Higher Order Logic (HOL) theorem prover. It is an LCF-style theorem prover (written in Standard ML), so it is based on a small logical core guaranteeing logical correctness. Isabelle...
   Found on http://en.wikipedia.org/wiki/Isabelle
   
   
4. Isabelle
   (comics) `Isabelle` is a Belgian comic series drawn by Will and written by Franquin, Delporte and Macherot. The comic first appeared in Spirou in 1970. Created by a top team of already-famous contributors to the magazine, the series gained a small but fanatical following. The fi...
   Found on http://en.wikipedia.org/wiki/Isabelle
   
   
5. ISABELLE
   `ISABELLE` was a 200+200 GeV proton-proton colliding beam particle accelerator partially built by the United States government at Brookhaven National Laboratory in Upton, New York, before it was cancelled in July, 1983. Colliding beam accelerators: A colliding beam, storage ring accelerator was firs...
   Found on http://en.wikipedia.org/wiki/ISABELLE
   
   
6. Isabelle
   (video game) `Isabelle` is an independent 3D adventure game for Microsoft Windows, produced by the French company Belisa in 1997. The player controls George, a young blind man who has to convince his village that More, a villain who has assumed power locally, is masterminding a wicked ...
   Found on http://en.wikipedia.org/wiki/Isabelle