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) ...
   Found op http://www.pregnology.com/index.php?girls/Isabelle
   
   
2. 
   Isabelle
   [video-game] This category is for persons who have held the office of Nassau County Executive. ...
   Found op http://en.wikipedia.org/wiki/Isabelle_(video-game)
   
   
3. 
   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 op http://foldoc.org/Isabelle
   
   
4. 
   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 plot. Ge...
   Found op http://en.wikipedia.org/wiki/Isabelle_(video_game)
   
   
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 fi...
   Found op http://en.wikipedia.org/wiki/ISABELLE
   
   
6. 
   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 first stories wer...
   Found op http://en.wikipedia.org/wiki/Isabelle_(comics)
   
   
7. 
   Isabelle
   [proof assistant] The Isabelle theorem prover is an interactive theorem prover, 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 is generic: ...
   Found op http://en.wikipedia.org/wiki/Isabelle_(proof_assistant)
   
   
8. 
   isabelle
   1) 'queen margot' star adjani 2) French girl name 3) Town in pierce county wisconsin, usa
   Found op http://www.mijnwoordenboek.nl/EN/crossword-dictionary/isabelle/1
   
   

Tip: double click on a word to show its meaning.