Yirmiuc / hol88-source

Higher Order Logic, source files



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
ondokuz hol88-source 2.02.19940316-35
yirmibir hol88-source 2.02.19940316-35.1