Commit Graph

2 Commits

Author SHA1 Message Date
Juergen Spitzmueller
812ac64447 Fix moved examples's \origin 2023-02-10 16:31:33 +01:00
Juergen Spitzmueller
9784fd4214 Move some example files to proper location
Listen to Uncle Tarski and do not mixup meta and object language!
2023-02-10 16:24:10 +01:00