Displaying similar documents to “Le langage et l'interpréteur 'Isabelle', spécialement conçus pour utilisations arithmétiques”