Search Results for 'Introducedbywenzel'

Introducedbywenzel published presentations and documents on DocSlides.

3SimpleLocales3.1SyntaxandTerminologyThegrammarofIsarisextendedbycomma

by pamella-moone

1 .Akeyconcept,introducedbyWenzel,isthatlocalesare...