| 5b465790447d54472837f1084ed3e751c745d0dc |
|
30-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
improved definition of lifted function spaces and explanation of newtype translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8510 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c4e48c487e8797c2a101d15b2fc542d2de4b2246 |
|
29-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
final reading
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8509 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d4dc8e8f329453ad4756c92de860d3c1833abf6e |
|
29-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
some example proof
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8502 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0078e2f9b2d9ad3ceec2b68817ab1cc31ee50813 |
|
29-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
removed destructors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8501 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8241bc853cd629fb5c6299e6b8d5d546ee731343 |
|
29-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
conclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8500 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 01bcb1d665a9e3d5aae8cc4c79dbe8991eed6d17 |
|
29-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
sections on classes and terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8499 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6a4b188beb6b1e3bd94867074c27995a01f529c2 |
|
29-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
completely restructured the paper
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8498 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 846fb262bddd024972b6d4820762bd85ebe0f352 |
|
28-Jul-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
started re-structuring
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8497 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7c89be1ee39411c7b942bef611471a079d909354 |
|
18-Jul-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
first revision for TPHOL B track
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8400 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c60dd75d214d1b29462ee2262d4e0f468a962450 |
|
20-Feb-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
updated version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7476 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 56f499bbc75665b431ab11e7f9f3fb05f2607c52 |
|
10-Jan-2007 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7299 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 12138d113e5e25fc91b7e8ba0a179a3da00b9a91 |
|
24-Sep-2006 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
correction on let expression
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6966 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 3dbcb471b5eaf20e956367b0239a741033b6ca91 |
|
04-Sep-2006 |
Paolo Torrini <paolot@informatik.uni-bremen.de> |
tech report about translation Haskell to Isabelle last version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6916 cec4b9c1-7d33-0410-9eda-942365e851bb |