Yirmiuc / hol88-contrib-source

Higher Order Logic, user contributed source



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