src/HOL/NanoJava/Term.thy
2001-08-08 oheimb 2001-08-08 changed to full expressions with side effects
2001-06-16 oheimb 2001-06-16 added NanoJava