Index of /CompLangs/Isabelle2023/contrib/jortho-1.0-2/dictionaries
Parent Directory
Copyright
en.gz
en_CA.gz
en_GB-ise.gz
en_GB-ize.gz
en_US.gz