../code/conceptPage.scroll

id isabelle-91
name Isabelle-91
appeared 1991
tags pl
lab University of Cambridge

country United Kingdom
reference https://www.cl.cam.ac.uk/~lp15/Grants/holisa.html

hopl https://hopl.info/showlanguage.prx?exp=3664