Ondokuz / hol88-source

Higher Order Logic, source files



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmibir hol88-source 2.02.19940316-35.1
yirmiuc hol88-source 2.02.19940316dfsg-5