Ознайомтеся з найновішими змінами від HOTrans Isabelle. Нижче наведено список усіх модифікацій, які HOTrans Isabelle впровадив за останні 30 днів.