Nuta
Dostęp do tej strony wymaga autoryzacji. Możesz spróbować się zalogować lub zmienić katalog.
Dostęp do tej strony wymaga autoryzacji. Możesz spróbować zmienić katalogi.
Reguła wnioskowania nie może mieć zależności
Uwagi
Dwukropek (:) w regule wnioskowania musi być zgodny z jedną z następujących czynności:
Znak nowego wiersza
Średnik (;), który można wykonać za pomocą polecenia
Znak numeru (#), który może być obserwowany przez komentarz