[isabelle-dev] ML goes mainstream!
Steven Obua
obua at in.tum.de
Wed Oct 24 10:27:42 CEST 2007
Previous message (by thread):
[isabelle-dev] Normalization by evaluation
Next message (by thread):
[isabelle-dev] ML goes mainstream!
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
http://www.artima.com/forums/flat.jsp?forum=278&thread=217150
Previous message (by thread):
[isabelle-dev] Normalization by evaluation
Next message (by thread):
[isabelle-dev] ML goes mainstream!
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the isabelle-dev mailing list