src/Doc/Tutorial/Rules/TPrimes.thy
changeset 83035 d25f2989ef8b
parent 67613 ce654b0e6d69