~ / computer-stuff / isabelle /

• ..
• vml20105/17/2020 11:46:28 PM
• calculi.thy208033/22/2015 8:52:39 PM
• imports.sh9091/15/2018 5:53:12 PM
• knowledge.thy325112/29/2014 7:30:35 PM
• PrimRec.thy53486/6/2020 3:49:09 AM
• Pure_Facts.thy19111/19/2018 10:26:05 PM
• theory-[hol-based-theory].thy124213/6/2015 4:47:17 PM
• zfc_in_hol.thy154491/15/2018 3:47:20 PM