Šai lapas darbībai ir nepieciešams JavaScript.
Infopanelis
Izpētīt
Palīdzība
Pierakstīties
ftuong
/
draft
Vērot
1
Pievienot zvaigznīti
0
Atdalīts
Repozitorijs draft jau ir atdalīts
0
Kods
Problēmas
Izmaiņu pieprasījumi
Laidieni
Vikivietne
Aktivitāte
2
Revīzijas
1
Atzars
0
Tagi
22
KiB
Isabelle
100%
master
Iet uz failu
HTTPS
Lejupielādēt ZIP
Lejupielādēt TAR.GZ
Lejupielādēt BUNDLE
Atvērt VS Code
Citēt šo repozitoriju
APA
BibTeX
Atcelt
Burkhart Wolff
051e4e4281
upgrade to Isabelle2019
2019-07-12 18:42:11 +02:00
Example_Markup.thy
upgrade to Isabelle2019
2019-07-12 18:42:11 +02:00